Zoeken

U zocht naar: Auteur Wijs, Anton Filter Auteur: Wijs, Anton weghalen Taal Engels Filter Taal: Engels weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Model Checking Software
thumbnail
Full text!
Auteur:
Dragan Bošnački, Anton Wijs; Wijs, Anton
Uitgever:
Springer International Publishing 2016
Type:
e-book
2. Concise Guide to Software Verification: From Model Checking to Annotation Checking
thumbnail
Full text!
Auteur:
Marieke Huisman; Wijs, Anton
Uitgever:
Springer Nature (Textbooks & Major Reference Works) 2023
Type:
e-book
3. Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
thumbnail
Full text!
Auteur:
Salaün, Gwen; Wijs, Anton
Uitgever:
Springer 2021
Type:
e-book
4. Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
thumbnail
Full text!
Auteur:
Neele, Thomas.; Wijs, Anton
Uitgever:
Cham Springer 2024
Type:
e-book