Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers Contributor(s): Aichernig, Bernhard K. (Editor), De Boer, Frank S. (Editor), Bonsangue, Marcello M. (Editor) |
|
ISBN: 3642252702 ISBN-13: 9783642252709 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: December 2011 |
Additional Information |
BISAC Categories: - Computers | Operating Systems - General - Computers | Compilers - Computers | Programming Languages - General |
Dewey: 005.1 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.9" H x 6.1" W x 9.2" (1.36 lbs) 393 pages |