Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner
₹5,647
A Survey of Verification Techniques for Parallel Programs
₹2,265
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
A Survey of Verification Techniques for Parallel Programs is a carefully curated title by Howard Barringer , published by Springer .
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540152392
- ISBN-10
- 3540152393
- Author
- Howard Barringer
- Publisher
- Springer
- Condition
- New
More by Howard Barringer and related titles
3D Structure from Images - Smile 2000
Marc Pollefeys, Luc Van Gool, Andrew Zisserman
₹5,653
Das Membransyndrom Der Früh- Und Neugeborenen
U. Keuth
₹3,897
Fallbeispiele Notfallmedizin
Volker Wenzel
₹4,672
Tryptophan, Serotonin, and Melatonin
Gerald Huether, Walter Kochen, Thomas J. Simat
₹4,704
Embedded Systems for Smart Appliances and Energy Management
Christoph Grimm, Peter Neumann, Stefan Mahlknecht
₹4,004
Uro-Sonographie
H. Bartels, K. F. Albrecht
₹3,508
Die Preisbildung Im Deutschen Wissenschaftlichen Antiquariatsbuchhandel
Edgar Pedro Bruck
₹3,508
Before Dinner
M. Korthals
₹4,548
Unconstrained Face Recognition
Shaohua Kevin Zhou, Rama Chellappa, Wenyi Zhao
₹5,474
Informatik
Manfred Broy
₹2,155
Foundations of Information and Knowledge Systems
Dietmar Seipel, Jose M. Turull-Torres
₹5,540