Tools for Practical Software Verification
Bertrand Meyer, Martin Nordio
₹3,658
Dependable Systems
Software
by Bertrand Meyer, André Schiper
Springer-Verlag New York Inc · 2006 · Paperback
₹2,434
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 New York Inc in 2006, Dependable Systems: Software by Bertrand Meyer & André Schiper runs to 295 pages in paperback.
The book deals with Computer systems, Reliability, Computer software and Computer networks.
About the author: Bertrand Meyer (born 1950). About the author: André Schiper (born 1949).
Book details
- ISBN-13
- 9783540368212
- ISBN-10
- 3540368213
- Authors
- Bertrand Meyer, André Schiper
- Publisher
- Springer-Verlag New York Inc
- Author dates
- Bertrand Meyer (born 1950); André Schiper (born 1949)
- Published
- 2006
- Edition
- 2006 ed.
- Binding
- Paperback
- Pages
- 295
- Language
- English
- Condition
- New
- Subject
- Reliability
More by Bertrand Meyer and related titles
Software Engineering
Bertrand Meyer, Martin Nordio
₹3,172
Empirical Software Engineering and Verification
Bertrand Meyer, Martin Nordio
₹5,704
Using Aspect-Oriented Programming for Trustworthy Software Development
Vladimir O. Safonov
₹7,379
Dependable Computing
LADC 2007 (2007 Morelia, Michoacán de Ocampo, Mexico)
₹2,543
Software Defect and Operational Profile Modeling
Kai-Yuan Cai
₹15,964
Formal Methods for Industrial Critical Systems
Mari Lle Stoelinga
₹5,130
Early Software Reliability Prediction
Neeraj Kumar Goyal (auth.) Ajeet Kumar Pandey
₹3,709
Software Reliability
H. Kopetz
₹3,610
Reconfigurable Computing
Koen Bertels
₹2,768
Trustworthy Global Computing
TGC 2007 (2007 Sophia-Antipolis, France)
₹3,053
Analyzing Computer System Performance with Perl
Neil J. Gunther
₹4,848