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, Communication and Software System

by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

Springer

₹5,672

Free delivery. Nothing extra to pay at checkout.

  • New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
  • 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.

From the publisher

Formal Methods for Model-Driven Engineering is a carefully curated title by Marco Bernardo | Vittorio Cortellessa | Alfonso Pierantonio , published by Springer .

Description supplied by the publisher.

Book details

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

More by Marco Bernardo and related titles

See all