Formal Methods for Model-Driven Engineering
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
₹5,672
Formal Methods for Eternal Networked Software Systems
11th International School on Formal Methods for the Design of Computer, Communication and Softw
by Marco Bernardo, Valerie Issarny
₹5,669
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 Eternal Networked Software Systems is a carefully curated title by Marco Bernardo | Valerie Issarny , published by Springer .
Description supplied by the publisher.
Book details
- ISBN-13
- 9783642214547
- ISBN-10
- 3642214541
- Authors
- Marco Bernardo, Valerie Issarny
- Publisher
- Springer
- Condition
- New
- Subject
- Computers & Internet
More by Marco Bernardo and related titles
Formal Methods for Hardware Verification
Marco Bernardo, Alessandro Cimatti
₹5,499
Building Python Programs
Stuart Reges, Marty Stepp, Allison Obourn
₹4,654
Geographic Information Systems and Public Health
Andrew Curtis
₹4,531
Digital Design
M. Morris Mano, Michael Ciletti
₹4,665
Library Management for the Digital Age
Julie Todaro
₹5,127
Starting Struts 2
Ian Roughley
₹1,876
Easy Introduction to Lightroom Photo Processing in Zero Basic Digital Photography Post Production/零基础数码摄
构图君著
₹1,841
Computer and Information Science 2010
Roger Lee
₹4,906
Software Reliability Methods
Doron a. Peled, E. M. Clarke
₹5,551
Mathematik Entdecken Mit Derive -- Von Der Algebra Bis Zur Differentialrechnung
Jerry Glynn
₹3,141
Computer Intensive Statistical Methods
Hjorth J. S. Urban.
₹4,192