Rewriting and Typed Lambda Calculi
Gilles Dowek
₹3,959
Hardware and Software
Verification and Testing
by Kedar Namjoshi, Andreas Zeller, Avi Ziv
Springer · 2011
₹5,465
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
Hardware and Software: Verification and Testing is written by Kedar Namjoshi, Andreas Zeller & others. This edition from Springer (2011).
The book deals with Logic design, Computer science, Software engineering and Computer input-output equipment.
Book details
- ISBN-13
- 9783642192364
- ISBN-10
- 364219236X
- Authors
- Kedar Namjoshi, Andreas Zeller, Avi Ziv
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Tests and Proofs
Martina Seidl, Nikolai Tillmann
₹3,787
New Modeling Concepts for Today's Software Processes
Jürgen Münch, Ye Yang, Wilhelm Schäfer
₹5,584
Nonmonotonic and Inductive Logic
Klaus P. Jantke, Peter H. Schmitt
₹5,502
Architecture and Design of Molecule Logic Gates and Atom Circuits
Nicolas Lorente
₹11,589
Graph-Theoretic Concepts in Computer Science
Jan van Leeuwen
₹5,671
Theorem Proving in Higher Order Logics
TPHOLs 2007 (2007 Kaiserslautern, Germany)
₹4,259
Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
₹4,286
Synchronous Precharge Logic
Marek Smoszna
₹5,282
Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi
₹5,666
Formal Methods for Components and Objects
Bernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue
₹5,595
Datenbanksysteme
Theo Härder, Erhard Rahm
₹3,873