Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System
N/A
ISBN 10: 364230981X ISBN 13: 9783642309816
Published by Springer, 2012
New
Soft cover
From
Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 4 out of 5 stars
AbeBooks Seller since 9 October 2009
This specific item is no longer available.
About this Item
Description:
2012. Paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9783642309816
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.
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.
Bibliographic Details
Title: Formal Methods for Model-Driven Engineering:...
Publisher: Springer
Publication Date: 2012
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
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 4 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
Buy New
£ 43.22
£ 42.50 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
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
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. 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 | Marco Bernardo (u. a.) | Taschenbuch | vii | Englisch | 2012 | Springer | EAN 9783642309816 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 106432909
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020223840
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: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18451680-n
Seller Image
Formal Methods for Model-Driven Engineering
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2012, 2012
ISBN 10: 364230981X
ISBN 13: 9783642309816
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch. Seller Inventory # 9783642309816
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
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
Stock Image
Formal Methods for Model-Driven Engineering (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783642309816
Buy New
£ 47.97
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 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
Buy New
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
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: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 18451680