Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
₹4,240
Formal Methods for Eternal Networked Software Systems
11th International School on Formal Methods for the Design of Computer
by Marco Bernardo, Valerie Issarny
Springer · 2011
₹5,669
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 Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer is written by Marco Bernardo & Valerie Issarny. This edition from Springer (2011).
The book deals with Information systems, Computer science, Software engineering and Informatique.
Book details
- ISBN-13
- 9783642214547
- ISBN-10
- 3642214541
- Authors
- Marco Bernardo, Valerie Issarny
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- System design
More by Marco Bernardo and related titles
Formal Methods for Model-Driven Engineering
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
₹5,672
Formal Methods for Dynamical Systems
Marco Bernardo
₹3,631
Formal Methods for Multicore Programming
Marco Bernardo, Einar Broch Johnsen
₹3,762
Formal Methods for Hardware Verification
Marco Bernardo, Alessandro Cimatti
₹5,499
Engineering Modeling Languages
Benoit Combemale, Robert France, Jean-Marc Jézéquel, Bernhard Rumpe, James Steel, Didier Vojtisek
₹9,653
NASA Formal Methods
Alwyn Goodloe, Suzette Person
₹5,613
Linear System Theory and Design
Chi-Tsong Chen
₹25,507
Systems Analysis and Design
Scott Tilley
₹8,062
Global UX
Daniel Szuc, Whitney Quesenbery
₹2,833
Version 4 Text
Lesley Rackley, Alexandria Walker, Joyce D. Duncan, Etc
₹3,250
Object Oriented Systems Development
Ali Bahrami
₹4,839