Zoeken

U zocht naar: Auteur Bloem, Roderick. Filter Auteur: Bloem, Roderick. weghalen Taal Engels Filter Taal: Engels weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Computer Aided Verification
thumbnail
Full text!
Auteur:
Armin Biere, Roderick Bloem; Bloem, Roderick; Kittler, Josef
Uitgever:
Springer International Publishing 2014
Type:
e-book
2. Trusted Systems
thumbnail
Full text!
Auteur:
Bloem, Roderick; Lipp, Peter; Lipp, Peter
Uitgever:
Springer International Publishing 2013
Type:
e-book
3. Handbook of Model Checking
thumbnail
Full text!
Auteur:
Clarke; Bloem, Roderick; Henzinger, Thomas A.; Veith, Helmut
Uitgever:
Springer International Publishing 2018
Type:
e-book
4. Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
thumbnail
Full text!
Auteur:
Bloem, Roderick.; Dimitrova, Rayna; Fan, Chuchu; Sharygina, Natasha
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book