Making Systems Safer
Safety-Critical Systems Symposium (18th 2010 Bristol, England)
₹8,975
Formal Methods for Industrial Critical Systems
13th International Workshop
by Darren Cofer
Springer-Verlag New York Inc · 2009
₹4,228
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
Formal Methods for Industrial Critical Systems: 13th International Workshop is written by Darren Cofer. This edition from Springer-Verlag New York Inc (2009) has 233 pages.
Its main subjects are Logic design, Computer science, Software engineering and Formal methods (Computer science).
Book details
- ISBN-13
- 9783642032394
- ISBN-10
- 3642032397
- Author
- Darren Cofer
- Publisher
- Springer-Verlag New York Inc
- Published
- 2009
- Edition
- 2009 ed.
- Pages
- 233
- Language
- English
- Condition
- New
- Subject
- Reliability
More in Reliability
Embedded Software and Systems
Yann-Hang Lee, Heung-Nam Kim, Jong Kim
₹5,038
Parallel and Distributed Processing and Applications
Yi Pan, Daoxu Chen, Minyi Guo
₹4,585
Succeeding with Use Cases
Richard Denney
₹3,257
Dependable Systems
Bertrand Meyer, André Schiper
₹2,434
Electrotechnology
Joseph S. Heyman
₹3,399
Fehlertolerante Dezentrale Prozeßautomatisierung
Hubert Mäncher
₹3,508
Summary of a Workshop on Software-Intensive Systems and Uncertainty at Scale
National Research Council, Computer Science, Telecommunications Board, Division on Engineering, Physical Sciences
₹3,346
Trustworthy Global Computing
TGC 2007 (2007 Sophia-Antipolis, France)
₹3,053
Software Reliability Modelling and Identification
Sergio Bittanti
₹5,483
Early Software Reliability Prediction
Neeraj Kumar Goyal (auth.) Ajeet Kumar Pandey
₹3,709
Electric Machines
Homayoun Meshgin-Kelk, Subhasis Nandi, Seungdeog Choi, Hamid A. Toliyat
₹4,068