Formal Techniques for Safety-Critical Systems

Loading edition detail...

Preparing this view.

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

Bookitis Pick

Formal Techniques for Safety-Critical SystemsCyrille Artho, Peter Csaba Ölveczky

Cyrille Artho, Peter Csaba ÖlveczkyPublished 20164 title views

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer International Publishing AG
Pages	271
Search language	english
ISBN_13	978-3-319-29509-1 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

FT
Image source: Open Library
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky | Springer | Feb 01, 2019
1 views
FT
Image source: Open Library
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky | Springer | Mar 23, 2017
1 views
FT
Image source: Open Library
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky | Springer | Apr 06, 2014
1 views
Formal Techniques for Safety-Cr...Cyrille Artho, Peter Csaba Ölveczky
FT
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky | Springer | 2016
1 views
FT
Image source: Open Library
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky | Springer | Apr 16, 2015
Formal Techniques for Safety-Cr...Cyrille Artho, Peter Csaba Ölveczky
FT
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky | Springer London, Limited | 2015
Formal Techniques for Safety-Cr...Cyrille Artho, Peter Csaba Ölveczky
FT
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky | Springer London, Limited | 2014