| FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings 2012 Edition Contributor(s): Giannakopoulou, Dimitra (Editor), Mery, Dominique (Editor) |
|
 |
ISBN: 3642327583 ISBN-13: 9783642327582 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: July 2012 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Machine Theory - Computers | Programming - General |
| Dewey: 004.015 |
| Series: Lecture Notes in Computer Science / Programming and Software |
| Physical Information: 1.1" H x 6.1" W x 9.1" (1.55 lbs) 488 pages |