bib.howest.be Zoekresultaten

U zocht naar: Auteur Artho

1 - 6 van 6

1. Formal Techniques for Safety-Critical Systems

Auteur:: Artho; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2015
Type:: e-book

2. Formal Techniques for Safety-Critical Systems

Auteur:: Artho; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2019
Type:: e-book

3. Automated Technology for Verification and Analysis

Auteur:: Artho; Legay, Axel; Peled, Doron
Uitgever:: Springer International Publishing 2016
Type:: e-book

4. Formal Techniques for Safety-Critical Systems

Auteur:: Cyrille Artho, Peter Csaba Ölveczky; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2017
Type:: e-book

5. Formal Techniques for Safety-Critical Systems

Auteur:: Cyrille Artho, Peter Csaba Ölveczky; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2016
Type:: e-book

6. Formal Techniques for Safety-Critical Systems

Auteur:: Cyrille Artho, Peter Csaba Ãlveczky; Ölveczky, Peter Csaba
Uitgever:: Springer International Publishing 2014
Type:: e-book