Skip to content
Same-day shipping9% off: code GIG9
BooksBajar
Cover of Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Second International Workshop

by Cyrille Artho, Peter Csaba Ölveczky

Springer International Publishing AG · 2014 · Paperback

₹4,249

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,867 for this book (save ₹382).

9% off every book, up to ₹500 off per order.

About this book

Formal Techniques for Safety-Critical Systems: Second International Workshop is written by Cyrille Artho & Peter Csaba Ölveczky.

The book deals with System failures (engineering), Systems engineering, Formal languages and Software engineering.

Book details

ISBN-13
9783319054155
ISBN-10
3319054155
Authors
Cyrille Artho, Peter Csaba Ölveczky
Publisher
Springer International Publishing AG
Published
2014
Edition
2014 ed.
Binding
Paperback
Pages
297
Language
English
Condition
New
Subject
Logic design

More by Cyrille Artho and related titles