Formal Methods for Components and Objects
Bernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue
₹5,595
Formal Methods
Foundations and Applications
by Adenilso Simao, Carroll Morgan
Springer · 2011
₹5,703
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: Foundations and Applications is written by Adenilso Simao & Carroll Morgan. This edition from Springer (2011).
The book deals with Mathematical Logic and Formal Languages, Programming Techniques, Information Systems and Software engineering.
Book details
- ISBN-13
- 9783642250316
- ISBN-10
- 3642250319
- Authors
- Adenilso Simao, Carroll Morgan
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Ultrascale Computing Systems
Jesús Carretero, Emmanuel Jeannot, Albert Y. Zomaya
₹12,132
Fault Diagnosis and Fault Tolerance
Tinghuai Chen
₹10,072
Algebraic Methodology and Software Technology
Michael Johnson, Dusko Pavlovic
₹5,505
Algebraic Methodology and Software Technology
Armando M. Haeberer
₹5,649
Hybrid Metaheuristics
Maria José Blesa, Christian Blum, Günther Raidl
₹5,498
Program Specification
Series Editor Sally M. Reis, Carolyn M. Callahan
₹4,263
Functional and Constraint Logic Programming
Julio Marino
₹5,483
Nonmonotonic and Inductive Logic
Klaus P. Jantke, Peter H. Schmitt
₹5,502
Hardware and Software
Sharon Barner, Ian Harris, Daniel Kroening
₹5,476
Foundations of Software Technology and Theoretical Computer Science
Kesav V. Nori, Sanjeev Kumar
₹5,642
Graph-Theoretic Concepts in Computer Science
Jan van Leeuwen
₹5,671