Zoeken

U zocht naar: Auteur Rosu, Grigore Filter Auteur: Rosu, Grigore weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
thumbnail
Full text!
Auteur:
Legunsen, Owolabi.; Rosu, Grigore
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
2. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Fisman, Dana; Rosu, Grigore
Uitgever:
Springer International Publishing 2022
Type:
e-book
3. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Fisman, Dana; Rosu, Grigore
Uitgever:
Springer International Publishing 2022
Type:
e-book
4. Formal Techniques for Distributed Systems
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Rosu, Grigore
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book