DE
FR
"Daniel Kroening"
(5 Artikel gefunden)
Decision Procedures
Daniel Kroening, Ofer Strichman
E-Book (pdf)
29.04.2008
CHF
77.90
Download steht sofort bereit
Decision Procedures
Daniel Kroening, Ofer Strichman
E-Book (pdf)
22.11.2016
CHF
59.90
Download steht sofort bereit
Model Checking, second edition
Edmund M. Clarke, Orna Grumberg, Daniel Kroening
E-Book (epub)
04.12.2018
CHF
73.90
Download steht sofort bereit
1
2
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.
