DE
FR
"Ofer Strichman"
(2 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
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.
