Zoeken

U zocht naar: Auteur Bouajjani Filter Auteur: Bouajjani weghalen Type e-book Filter Type: e-book weghalen
1 - 6 van 6
Aantal zoekresultaten per pagina

Zoekresultaten

1. Formal Techniques for Distributed Objects, Components, and Systems
thumbnail
Full text!
Auteur:
Bouajjani; Silva, Alexandra
Uitgever:
Springer International Publishing 2017
Type:
e-book
2. Networked Systems
thumbnail
Full text!
Auteur:
Bouajjani; Fauconnier, Hugues
Uitgever:
Springer International Publishing 2015
Type:
e-book
3. Verification, Model Checking, and Abstract Interpretation
thumbnail
Full text!
Auteur:
Bouajjani; Monniaux, David
Uitgever:
Springer International Publishing 2017
Type:
e-book
4. Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
thumbnail
Full text!
Auteur:
Bouajjani, Ahmed.; Holík, Lukás; Wu, Zhilin
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
5. Computer Aided Verification
thumbnail
Full text!
Auteur:
Bouajjani, Ahmed; Kanade, Takeo; Maler, Oded; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
6. Automated Technology for Verification and Analysis
thumbnail
Full text!
Auteur:
Bouajjani, Ahmed; Chin, Wei-Ngan; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book