Automated Technology for Verification and Analysis
Cyrille Artho, Axel Legay, Doron Peled
₹4,259
Formal Techniques for Safety-Critical Systems
Third International Workshop
by Cyrille Artho, Peter Csaba Ölveczky
Springer International Publishing AG · 2015 · Paperback
₹4,242
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,860 for this book (save ₹382).
9% off every book, up to ₹500 off per order.
About this book
Topics covered include System failures (engineering), Systems engineering, Formal languages and Software engineering.
Book details
- ISBN-13
- 9783319175805
- ISBN-10
- 3319175807
- Authors
- Cyrille Artho, Peter Csaba Ölveczky
- Publisher
- Springer International Publishing AG
- Published
- 2015
- Edition
- 2015 ed.
- Binding
- Paperback
- Pages
- 257
- 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,240
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,247
Fundamentals of Structured Program Design
Dan Robinson
₹3,898
Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
₹5,481
Verification, Model Checking, and Abstract Interpretation
VMCAI 2010 (2010 Madrid, Spain)
₹4,285
Concrete Semantics
Gerwin Klein, Tobias Nipkow
₹6,228
Fundamentals of Digital Logic with VHDL Design
Stephen D. Brown
₹4,022
Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi
₹5,521
Logic Programming and Databases
Georg Gottlob, Letizia Tanca, Stefano Ceri
₹5,833
Field-Programmable Logic, Smart Applications, New Paradigms and Compilers
Reiner W. Hartenstein, Manfred Glesner
₹5,596