Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,240
Formal Techniques for Safety-Critical Systems
4th International Workshop
by Cyrille Artho, Peter Csaba Ölveczky
Springer International Publishing AG · 2016
₹4,247
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 ₹3,865 for this book (save ₹382).
9% off every book, up to ₹500 off per order.
About this book
Its main subjects are System failures (engineering), Systems engineering, Formal languages and Software engineering.
Book details
- ISBN-13
- 9783319295091
- ISBN-10
- 3319295098
- Authors
- Cyrille Artho, Peter Csaba Ölveczky
- Publisher
- Springer International Publishing AG
- Published
- 2016
- Edition
- 1st ed. 2016
- Pages
- 271
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Cyrille Artho and related titles
Automated Technology for Verification and Analysis
Cyrille Artho, Axel Legay, Doron Peled
₹4,259
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,249
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,242
Computing in Horn Clause Theories
Peter Padawitz
₹3,945
Compiler Generators
Mads Tofte
₹7,765
Categories for Software Engineering
José Luiz Fiadeiro
₹3,749
Logic Design
Glen G. Langdon
₹3,725
Frontiers of Combining Systems
Cesare Tinelli, Viorica Sofronie-Stokkermans
₹5,718
Rewriting and Typed Lambda Calculi
Gilles Dowek
₹3,959
Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Caap '83
G. Ausiello, M. Protasi
₹5,649