Formal Modeling and Analysis of Timed Systems: 11th International Conference, Formats 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings 2013 Edition Contributor(s): Braberman, Víctor (Editor), Fribourg, Laurent (Editor) |
|
ISBN: 3642402283 ISBN-13: 9783642402289 Publisher: Springer OUR PRICE: $47.49 Product Type: Paperback Published: August 2013 |
Additional Information |
BISAC Categories: - Computers | Programming - General - Computers | Software Development & Engineering - General - Computers | Mathematical & Statistical Software |
Dewey: 005.1 |
Series: Lecture Notes in Computer Science / Theoretical Computer Sci |
Physical Information: 0.67" H x 6.18" W x 9.2" (0.95 lbs) 275 pages |