Non abbiamo ancora una biografia di Daniel Kroening.
Pubblicato in Inglese · Tedesco
Per saperne di più: Open Library (si apre in una nuova scheda)
Decision Procedures
2018
Computer Aided Verification
2015
Validation of Evolving Software
2016
Verified Software : Theories, Tools and Experiments
2014
Digitaltechnik - eine praxisnahe Einfu hrung
2008
Model Checking, Second Edition
Otium
