
Tests and Proofs (English, Martin Gogolla | Burkhart Wolff)
by Martin Gogolla | Burkhart Wolff
Delivery options
₹5,492
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,492
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642217678
ISBN-10
3642217672
Author
Martin Gogolla | Burkhart Wolff
About the Book
This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test g…
ISBN: 9783642217678
ISBN-13: 9783642217678
ISBN-10: 3642217672
Frequently Asked Questions
What is the price of Tests and Proofs?
Tests and Proofs starts from ₹5492 at GlowMirror. Available in Paperback.
Who is the author of Tests and Proofs?
Martin Gogolla | Burkhart Wolff is the author of Tests and Proofs. Browse more books by Martin Gogolla | Burkhart Wolff on GlowMirror.
Is Tests and Proofs available in Paperback and Hardcover?
Yes, Tests and Proofs is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Tests and Proofs?
Yes, GlowMirror offers free delivery for Tests and Proofs across India. No minimum order value required.
Is Cash on Delivery available for Tests and Proofs?
Yes, Cash on Delivery (COD) is available for Tests and Proofs on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642217678
🛒 Customers Also Bought

Holzbau 2 (English, Gerhard Werner | Karl-Heinz Zimmer | Karl-Heinz Zimmer)
₹3,999
Elektrische Maschinen (English, Eckhard Spring)
₹5,074
Untersuchungsanleitungen Für Die Nuklearmedizinische Diagnostik Bei Erwachsenen Und Kindern (English, Sibylle Fischer | Kirsten Brinkbäumer)
₹5,694
Neuro-Ethologie (English, J. -P Ewert)
₹3,508
Chancen Für Das Deutsche Gesundheitssystem (English, Michael E. Porter | Clemens Guth)
₹4,965
Nuovi Modelli Di Business E Creazione Di Valore (English, Lino Cinquini | Alberto Di Minin | Riccardo Varaldo)
₹1,921Related Products

Klinische Psychotherapie (English, P. Hofmann | M. Lux | Ch Probst)
₹5,330
Palmprint Authentication (English, 16/F Maxdo Center)
₹5,397
Industrie-Rohrleitungsarmaturen (English, Hans J. Kecke | Paul Kleinschmidt)
₹4,374
Das Münchner Trainingsmodell (English, P. Innerhofer)
₹3,143
Quantenphysik (English, Hans Jörg Leisi)
₹5,330