Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
by
 
Bonsangue, Marcello M. editor.

Title
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Author
Bonsangue, Marcello M. editor.

ISBN
9783662441244

Edition
1st ed. 2014.

Physical Description
X, 245 p. 4 illus. online resource.

Series
Theoretical Computer Science and General Issues ; 8446

Subject Term
Mathematical logic.
 
Computers.
 
Computer logic.

Added Author
Bonsangue, Marcello M.

Added Corporate Author
SpringerLink (Online service)

Electronic Access
https://doi.org/10.1007/978-3-662-44124-4


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book487680-1001ONLINEElektronik Kütüphane