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 - Programming and Software Engineering 7320 (Paperback)Marco Bernardo (editor), Vittorio Cortellessa (editor), Alfonso Pierantonio (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 439
Weight: 682 g
Dimensions: 235 x 155 x 23 mm
Edition: 2012 ed.
You may also be interested in...
Please sign in to write a review