Suchergebnisse für "Kröning, Daniel"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Kröning, Daniel" gefunden.
Katalogsuche
Das wäre alles
eBook - Ein gigantischer Witz, Das wäre alles
Kröning, Daniel
JACOB MICHAELSEN VERLAG
6,49 €
(inklusive MwSt.)
Lieferbar
Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7,2010, Revised Selected Papers - Lecture Notes in Computer Science/Programming and Software Engineering 6504, Lecture Notes in Computer Science 6504 - Programming an
Sharon Barner/Ian Harris/Daniel Kroening et al
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Decision Procedures
An Algorithmic Point of View, Texts in Theoretical Computer Science, An EATCS Series, Texts in Theoretical Computer Science. An EATCS Series
Kroening, Daniel/Strichman, Ofer
Springer Verlag GmbH
69,54 €
(inklusive MwSt.)
Lieferbar
Digitaltechnik - Eine praxisnahe Einführung
Biere, Armin/Kröning, Daniel/Weissenbacher, Georg u a
Springer Verlag GmbH
29,99 €
(inklusive MwSt.)
Lieferbar
Validation of Evolving Software
Hana Chockler/Daniel Kroening/Leonardo Mariani et al
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Validation of Evolving Software
eBook - Computer Science (R0)
Hana Chockler/Daniel Kroening/Leonardo Mariani et al
SPRINGER
62,95 €
(inklusive MwSt.)
Lieferbar
Decision Procedures
An Algorithmic Point of View, Texts in Theoretical Computer Science. An EATCS Series
Kroening, Daniel/Strichman, Ofer
Springer Verlag GmbH
85,59 €
(inklusive MwSt.)
Lieferbar
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24,2015, Proceedings, Part II, Lecture Notes in Computer Science 9207 - Theoretical Computer Science and General Issues
Daniel Kroening/Corina S Pasareanu
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24,2015, Proceedings, Part I, Lecture Notes in Computer Science 9206 - Theoretical Computer Science and General Issues
Daniel Kroening/Corina S Pasareanu
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Decision Procedures
An Algorithmic Point of View, Texts in Theoretical Computer Science. An EATCS Series
Kroening, Daniel/Strichman, Ofer
Springer Verlag GmbH
64,19 €
(inklusive MwSt.)
Lieferbar
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18,2014, Revised Selected Papers, Lecture Notes in Computer Science 8471 - Programming and Software Engineering
Dimitra Giannakopoulou/Daniel Kroening
Springer Verlag GmbH
51,36 €
(inklusive MwSt.)
Lieferbar
Validation of Evolving Software
Hana Chockler/Daniel Kroening/Leonardo Mariani et al
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
