Automated Technology for Verification and Analysis
Cyrille Artho, Axel Legay, Doron Peled
₹4,259
Formal Techniques for Safety-Critical Systems
5th International Workshop
by Cyrille Artho, Peter Csaba Ölveczky
Springer International Publishing AG · 2017 · Paperback
₹4,240
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 Techniques for Safety-Critical Systems: 5th International Workshop is written by Cyrille Artho & Peter Csaba Ölveczky. This paperback edition from Springer International Publishing AG (2017) has 161 pages.
Its main subjects are System failures (engineering), Systems engineering, Formal languages and Software engineering.
Book details
- ISBN-13
- 9783319539454
- ISBN-10
- 3319539450
- Authors
- Cyrille Artho, Peter Csaba Ölveczky
- Publisher
- Springer International Publishing AG
- Published
- 2017
- Edition
- 1st ed. 2017
- Binding
- Paperback
- Pages
- 161
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Cyrille Artho and related titles
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
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,247
Algebraic Methodology and Software Technology
Meseguer J.
₹2,810
Fudamentals of Digital Logic with VHDL Design
Stephen Brown, Zvonko Vranesic
₹3,115
Algebraic and Algorithmic Aspects of Differential and Integral Operators
Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz
₹3,781
Models in Software Engineering
Juergen Dingel, Arnor Solberg
₹5,609
Nonmonotonic and Inductive Logic
Klaus P. Jantke, Peter H. Schmitt
₹5,502
Logic Based Program Synthesis and Transformation
Maurice Bruynooghe
₹5,496
Programmverifikation
Krzysztof R. Apt, Ernst-Rüdiger Olderog
₹2,595
Theoretical Aspects of Computing -- ICTAC 2011
Antonio Cerone, Pekka Pihlajasaari
₹4,532