Formal Methods
Adenilso Simao, Carroll Morgan
₹5,703
Hardware and Software
6th International Haifa Verification Conference
by Sharon Barner, Ian Harris, Daniel Kroening
Springer · 2011
₹5,476
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
Published by Springer in 2011, Hardware and Software: 6th International Haifa Verification Conference by Sharon Barner, Ian Harris & others is available as a new copy.
Its main subjects are Logic design, Computer science, Software engineering and Congresses.
Book details
- ISBN-13
- 9783642195822
- ISBN-10
- 3642195822
- Authors
- Sharon Barner, Ian Harris, Daniel Kroening
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation (1992 University of Manchester)
₹4,272
From Programs to Systems - The Systems Perspective in Computing
Saddek Bensalem, Yassine Lakhnech, Axel Legay
₹3,785
Fundamental Approaches to Software Engineering
Marsha Chechik
₹4,242
Synchronous Precharge Logic
Marek Smoszna
₹5,282
Functional and Logic Programming
Fuji International Symposium on Functional and Logic Programming (9th 2008 Ise-shi, Japan)
₹4,279
Types for Proofs and Programs
Herman Geuvers, Freek Wiedijk
₹5,543
Perspectives of Systems Informatics
Andrei Voronkov, Irina Virbitskaite
₹5,647
Datenbanksysteme
Theo Härder, Erhard Rahm
₹3,873
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
₹1,900
Certified Programs and Proofs
Jean-Pierre Jouannaud, Zhong Shao
₹5,583
Unifying Theories of Programming
Shengchao Qin
₹5,525