The Particle Century
Gordon Fraser
₹4,605
Tests and Proofs
4th International Conference
by Gordon Fraser, Angelo Gargantini
Springer · 2010
₹5,474
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
Tests and Proofs: 4th International Conference is written by Gordon Fraser & Angelo Gargantini. This edition from Springer (2010) has 182 pages. It belongs to the LNCS sublibrary series.
Its main subjects are Beweis, Model Checking, Testing and Programmtest. Places discussed include Málaga <2010>.
Book details
- ISBN-13
- 9783642139765
- ISBN-10
- 3642139760
- Authors
- Gordon Fraser, Angelo Gargantini
- Publisher
- Springer
- Published
- 2010
- Series
- LNCS sublibrary
- Pages
- 182
- Language
- English
- Condition
- New
- Subject
- Reliability
More by Gordon Fraser and related titles
Antimatter
Gordon Fraser
₹4,152
Tests and Proofs
TAP 2009 (2009 Eidgenössische Technische Hochschule Zürich, Switzerland)
₹4,200
Computer Safety, Reliability, and Security
Erwin Schoitsch, Friedemann Bitsch
₹3,927
VLSI Electronics
Anant G. Sabnis
₹3,853
Making Systems Safer
Safety-Critical Systems Symposium (18th 2010 Bristol, England)
₹8,975
Softwarezuverlässigkeit
Günter Becker, L. Camarinopulos
₹4,864
Continuous Integration
Andrew Glover, Paul M. Duvall, Steve Matyas
₹2,723
Computer Performance Evaluation
Harrison, Peter G., Jeremy Bradley
₹4,241
Advances in Systems Safety
Safety-Critical Systems Symposium (19th 2011 Southampton, England)
₹9,600
Beyond Redundancy
Randee Adams, Daniel Eustace, Eric Bauer
₹10,922
Unauthorised Access
Wil Allsopp
₹3,166