Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October...Computer Science and General Issues)
Add this copy of Leveraging Applications of Formal Methods, Verification to cart. $41.00, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2012 by Springer.
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
by Margaria, Tiziana (Editor), and Steffen, Bernhard (Editor)
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of Leveraging Applications of Formal Methods, Verification to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2012 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2012
Language:
English
Alibris ID:
16116337340
Shipping Options:
Standard Shipping: $4.99
Trackable Expedited: $9.99
Two Day Air: $29.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Contains: Illustrations, black & white. Theoretical Computer Science and General Issues ; Lecture Notes in Computer Science . XVI, 361 p. 129 illus. Intended for professional and scholarly audience.
