Search

You searched for: Auteur Peter Csaba Ölveczky Remove constraint Auteur: Peter Csaba Ölveczky
« Previous | 1 - 10 of 12 |
Number of results to display per page

Search Results

1. Formal Aspects of Component Software
thumbnail
Full text!
Author:
Bae; Peter Csaba Ölveczky; Ölveczky, Peter Csaba
Publisher:
Springer International Publishing 2018
Format:
e-book
2. Formal Aspects of Component Software
thumbnail
Full text!
Author:
Christiano Braga, Peter Csaba Ölveczky; Ölveczky, Peter Csaba
Publisher:
Springer International Publishing 2016
Format:
e-book
3. Formal Techniques for Safety-Critical Systems
thumbnail
Full text!
Author:
Cyrille Artho, Peter Csaba Ölveczky; Ölveczky, Peter Csaba
Publisher:
Springer International Publishing 2017
Format:
e-book
4. Formal Techniques for Safety-Critical Systems
thumbnail
Full text!
Author:
Cyrille Artho, Peter Csaba Ölveczky; Ölveczky, Peter Csaba
Publisher:
Springer International Publishing 2016
Format:
e-book
5. Designing Reliable Distributed Systems
thumbnail
Full text!
Author:
Ölveczky; Ölveczky, Peter Csaba
Publisher:
Springer London 2017
Format:
e-book
6. Formal Techniques for Safety-Critical Systems
thumbnail
Full text!
Author:
Artho; Ölveczky, Peter Csaba
Publisher:
Springer International Publishing 2015
Format:
e-book
7. Formal Techniques for Safety-Critical Systems
thumbnail
Full text!
Author:
Artho; Ölveczky, Peter Csaba
Publisher:
Springer International Publishing 2019
Format:
e-book
8. Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings
thumbnail
Full text!
Author:
Cerone, Antonio; Ölveczky, Peter Csaba
Publisher:
Springer International Publishing 2021
Format:
e-book
9. Formal Aspects of Component Software
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Ölveczky, Peter Csaba
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
10. Logic, Rewriting, and Concurrency
thumbnail
Full text!
Author:
Martí-Oliet; Talcott, Carolyn; Ölveczky, Peter Csaba
Publisher:
Springer International Publishing 2015
Format:
e-book