Making Systems Safer
Safety-Critical Systems Symposium (18th 2010 Bristol, England)
₹8,975
Formal Methods for Industrial Critical Systems
17th International Workshop
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2012
₹5,130
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹4,668 for this book (save ₹462).
9% off every book, up to ₹500 off per order.
About this book
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co.
Its main subjects are Formal methods (Computer science), Congresses, Software engineering and Computer programs.
Book details
- ISBN-13
- 9783642324680
- ISBN-10
- 3642324681
- Author
- Mari Lle Stoelinga
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Published
- 2012
- Edition
- 2012 ed.
- Pages
- 223
- Language
- English
- Condition
- New
- Subject
- Reliability
More in Reliability
Software Fault Tolerance Techniques and
Laura L. Pullum
₹4,057
Tests and Proofs
Martin Gogolla, Burkhart Wolff
₹5,492
Software for Dependable Systems
National Research Council (U.S.). Committee on Certifiably Dependable Software Systems
₹3,713
Software Reliability
Glenford J. Myers
₹3,727
Formal Methods for Industrial Critical Systems
Darren Cofer
₹4,228
Software Reliability Engineering
John D. Musa
₹4,531
Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real Time Computer Systems
SAFECOMP '86 (Conference) (Sarlat)
₹4,050
Computer Safety, Reliability, and Security
Bettina Buth
₹4,249
Reconfigurable Computing
Koen Bertels
₹2,768
Computer Safety, Reliability, and Security
Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann
₹5,551
Software-Fehlertoleranz Und -Zuverlässigkeit
F. Belli, S. Pfleger, M. Seifert
₹3,508