Zurück
Vor

Decision Procedures
Kurzinformation
Sprache:
Englisch
ISBN:
3662504960
Verlag:
Seitenzahl:
356
Auflage:
-
Erschienen:
2017-01-27



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Weitere Zahlungsmöglichkeiten

Beschreibung
Decision Procedures
An Algorithmic Point of View
Decision Procedures von Kroening, Daniel
Produktdetails
Einband:
Gebunden
Seitenzahl:
356
Erschienen:
2017-01-27
Sprache:
Englisch
EAN:
9783662504963
ISBN:
3662504960
Verlag:
Gewicht:
735 g
Auflage:
-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
Daniel Kroening is a professor in the Dept. of Computer Science at the University of Oxford; his interests include automated verification, software engineering, and programming languages. Ofer Strichman is a professor in the faculty of industrial engineering and management at the Technion; his research interests include formal verification of software and hardware, and decision procedures for fragments of first-order logic.
Neu
80,24 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-49%
- Gebunden
- 477 Seiten
- Erschienen 2010
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Kilgour, D. Marc und Eden, ...
219,43 €
427,99 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-34%
- hardcover
- 390 Seiten
- Erschienen 2001
- W B Saunders Co Ltd
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Rutherford, Robert B.
67,45 €
101,65 €
frontend/listing/product-box/box-product-slider.tpl
-95%
- Gebunden
- 334 Seiten
- Erschienen 2007
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Zhu, Joe und Cook, Wade D.
5,72 €
114,50 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-87%
- hardcover
- 360 Seiten
- Erschienen 2009
- German Law Publishers
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Baudenbacher, Carl
13,08 €
98,00 €
frontend/listing/product-box/box-product-slider.tpl
-90%
- Taschenbuch
- 224 Seiten
- Erschienen 2021
- MGMT IMPACT PUB
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Bouker, Mohamed;Wielaard, N...
3,06 €
30,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-67%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-82%
- Taschenbuch
- 230 Seiten
- Erschienen 2009
- BPS Blackwell
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Hardman, David;Hardman;
14,74 €
82,70 €
frontend/listing/product-box/box-product-slider.tpl
-91%
frontend/listing/product-box/box-product-slider.tpl
-95%
- Hardcover
- 108 Seiten
- Erschienen 1973
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Stegmüller, Wolfgang
1,23 €
25,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-80%
- hardcover
- 352 Seiten
- Erschienen 2001
- Currency
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Schoemaker, Paul J.H.
6,09 €
30,00 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-93%
frontend/listing/product-box/box-product-slider.tpl
-99%
- Hardcover
- 312 Seiten
- Erschienen 2001
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Thanassoulis, Emmanuel
2,07 €
213,99 €
frontend/listing/product-box/box-product-slider.tpl
-76%
frontend/listing/product-box/box-product-slider.tpl
-97%
- paperback
- 504 Seiten
- Erschienen 2007
- THIEME MEDICAL PUBL INC
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Vaccaro, Alexander R.
2,55 €
76,49 €
frontend/listing/product-box/box-product-slider.tpl
-90%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-100%
frontend/listing/product-box/box-product-slider.tpl
-88%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl