FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
by
 
Giannakopoulou, Dimitra. editor.

Title
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Author
Giannakopoulou, Dimitra. editor.

ISBN
9783642327599

Physical Description
XVI, 488 p. 142 illus. online resource.

Series
Lecture Notes in Computer Science, 7436

Series Title
Lecture Notes in Computer Science, 0302-9743 ; 7436

Subject Term
Computer science.
 
Software engineering.
 
Logic design.
 
Information Systems.

Added Author
Méry, Dominique.

Added Corporate Author
SpringerLink (Online service)

Electronic Access
http://dx.doi.org/10.1007/978-3-642-32759-9


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