Marieke Huisman
Articles populaires de Marieke Huisman
Afficher toutes les offres-
Concise Guide to Software Verification: From Model Checking to Annotation Checking
Huisman, Marieke; Wijs, Anton
Prix des articles à partir de
Afficher les 20 offresEUR 54,23
Rechercher également
Neuf -
Formal Techniques for Distributed Objects, Components, and Systems
Prix des articles à partir de
Afficher les 12 offresEUR 62,23
-
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Prix des articles à partir de
Afficher les 12 offresEUR 94,25
Rechercher également
Neuf -
Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings
Prix des articles à partir de
Afficher les 11 offresEUR 118,26
Rechercher également
Neuf
