Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
by Bernardo, Marco (Editor), and Cortellessa, Vittorio (Editor), and Pierantonio, Alfonso (Editor)
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of Formal Methods for Model-Driven Engineering: 12th to cart. $60.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:
11381966816
Shipping Options:
Standard Shipping: $4.58
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Contains: Illustrations, black & white. Lecture Notes in Computer Science ; Programming and Software Engineering . VII, 439 p. 158 illus. Intended for professional and scholarly audience.
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software...(Lecture Notes in Computer Science, 7320)
Add this copy of Formal Methods for Model-Driven Engineering: 12th to cart. $88.67, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2012 by Springer.
