Items related to Formal Methods for Model-Driven Engineering: 12th Internatio...
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) - Softcover
Synopsis
This book presents tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012.
"synopsis" may belong to another edition of this title.
From the Back Cover
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2012
- ISBN 10 364230981X
- ISBN 13 9783642309816
- BindingPaperback
- LanguageEnglish
- Number of pages446
- EditorBernardo Marco, Cortellessa Vittorio, Pierantonio Alfonso
Search results for Formal Methods for Model-Driven Engineering: 12th Internatio...
Seller Image
Formal Methods for Model-driven Engineering : 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, Sfm 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18451680-n
Quantity: Over 20 available
Stock Image
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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642309816_new
Quantity: Over 20 available
Stock Image
Formal Methods for Model-driven Engineering : 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, Sfm 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 18451680
Quantity: Over 20 available
Seller Image
Formal Methods for Model-Driven Engineering
Published by
Springer Berlin Heidelberg Jun 2012, 2012
ISBN 10: 364230981X
ISBN 13: 9783642309816
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management. 448 pp. Englisch. Seller Inventory # 9783642309816
Quantity: 2 available
Seller Image
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
Published by
Springer Berlin Heidelberg, 2012
ISBN 10: 364230981X
ISBN 13: 9783642309816
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management. Seller Inventory # 9783642309816
Quantity: 1 available
Stock Image
Formal Methods for Model-driven Engineering : 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, Sfm 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18451680-n
Quantity: Over 20 available
Seller Image
Formal Methods for Model-Driven Engineering
Published by
Springer Berlin Heidelberg, 2012
ISBN 10: 364230981X
ISBN 13: 9783642309816
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Made for students, researchers, and practitioners Original, readable, and useful lecture notes Thoroughly revised tutorialsThis book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International. Seller Inventory # 5056429
Quantity: Over 20 available
Stock Image
Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Syste
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783642309816
Quantity: 10 available
Stock Image
Formal Methods for Model-driven Engineering : 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, Sfm 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 18451680
Quantity: Over 20 available
Stock Image
Formal Methods for Model-driven Engineering: 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, Sfm 2012, Bertinoro, Italy, June 18-23, 201
Published by
Springer-Verlag New York Inc, 2012
ISBN 10: 364230981X
ISBN 13: 9783642309816
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 2012 edition. 446 pages. 9.21x6.06x0.94 inches. In Stock. Seller Inventory # x-364230981X
Quantity: 2 available