Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Formal Methods for Model-Driven Engineering

Formal Methods for Model-Driven Engineering

12th International School on Formal Methods for the Design of Computer

by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

Springer · 2012

₹5,672

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

About this book

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer by Marco Bernardo, Vittorio Cortellessa & others is a book published by Springer in 2012.

The book deals with System design, Computer-aided engineering and Information resources management.

Book details

ISBN-13
9783642309816
ISBN-10
364230981X
Authors
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
Publisher
Springer
Published
2012
Language
English
Condition
New
Subject
Engineering

More by Marco Bernardo and related titles

See all