Foundations of Health Informatics Engineering and Systems
Zhiming Liu, Alan Wassyng
₹5,298
Automated Technology for Verification and Analysis
7th International Symposium
by Zhiming Liu
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2009
₹4,269
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-Verlag Berlin and Heidelberg GmbH & Co. K in 2009, Automated Technology for Verification and Analysis: 7th International Symposium by Zhiming Liu runs to 414 pages.
The book deals with Logic design, Computer science, Software engineering and Computer software.
About the author: Zhiming Liu (born 1906).
Book details
- ISBN-13
- 9783642047602
- ISBN-10
- 3642047602
- Author
- Zhiming Liu
- Author dates
- Zhiming Liu (born 1906)
- Published
- 2009
- Edition
- 2009 ed.
- Pages
- 414
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Zhiming Liu and related titles
Formal Methods and Software Engineering
Zhiming Liu, Jifeng He
₹6,670
Theoretical Aspects of Computing -- ICTAC 2013
Zhiming Liu, Jim Woodcock, Huibiao Zhu
₹4,249
Foundation of Software Science and Computation Structures
FOSSACS 2000 (2000 Berlin, Germany)
₹4,246
Formal Methods for Components and Objects
Bernhard K. Aichernig, Frank S. De Boer, Marcello M. Bonsangue
₹5,595
Logic and Computer Design Fundamentals
M. Morris Mano, Charles Kime, Tom Martin
₹4,070
Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi
₹5,666
Runtime Verification
Koushik Sen, Sarfaz Khurshid
₹5,672
Foundations of Software Science and Computation Structures
Frank Pfenning
₹4,249
Formal Program Development
Bernhard Möller, Helmut Partsch, Steve Schuman
₹5,569
Theory and Practice of Model Transformations
Jordi Cabot, Eelco Visser
₹5,553
Functional and Constraint Logic Programming
Julio Marino
₹5,483