Formal Methods for Hardware Verification
Marco Bernardo, Alessandro Cimatti
₹5,499
Formal Methods for Dynamical Systems
13th International School on Formal Methods for the Design of Computer
Springer-Nature New York Inc · 2013
₹3,631
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 Dynamical Systems: 13th International School on Formal Methods for the Design of Computer is written by Marco Bernardo. This edition from Springer-Nature New York Inc (2013) has 188 pages.
The book deals with Computer architecture, Computer networks, Computer science and Software engineering.
Book details
- ISBN-13
- 9783642388736
- ISBN-10
- 3642388736
- Author
- Marco Bernardo
- Publisher
- Springer-Nature New York Inc
- Published
- 2013
- Edition
- 2013 ed.
- Pages
- 188
- Language
- English
- Condition
- New
- Subject
- Computer architecture
More by Marco Bernardo and related titles
Formal Methods for Model-Driven Engineering
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
₹5,672
Formal Methods for Eternal Networked Software Systems
Marco Bernardo, Valerie Issarny
₹5,669
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
₹4,240
Formal Methods for Multicore Programming
Marco Bernardo, Einar Broch Johnsen
₹3,762
Computer Systems
Umakishore Ramachandran, William Leahy
₹5,183
Patterns of Enterprise Application Architecture
Martin Fowler
₹3,702
Computer Architecture and Implementation
Harvey G. Cragon
₹5,135
The Complexity of Simple Computer Architectures
Silvia M. Müller, Wolfgang J. Paul
₹5,520
The GENI Book
Rick McGeer, Mark Berman, Chip Elliott
₹7,754
Documenting Software Architectures
Paul Clements, Felix Bachmann, Len Bass, Reed Little, Robert Nord, David Garlan, Judith Stafford, James Ivers
₹3,779
Computer Architecture
Gerard Blanchet, Bertrand Dupouy
₹9,358