Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2013 Edition Contributor(s): Bernardo, Marco (Editor), De, Erik (Editor), Di Pierro, Alessandra (Editor) |
|
ISBN: 3642388736 ISBN-13: 9783642388736 Publisher: Springer OUR PRICE: $47.49 Product Type: Paperback - Other Formats Published: June 2013 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Computers | Machine Theory - Computers | Programming - General |
Dewey: 004.015 |
Series: Lecture Notes in Computer Science / Programming and Software |
Physical Information: 0.41" H x 6.14" W x 9.21" (0.61 lbs) 181 pages |