Zurück
Vor

Automated Theorem Proving in Software Engineering
Kurzinformation
Sprache:
Englisch
ISBN:
3540679898
Verlag:
Seitenzahl:
228
Auflage:
-
Erschienen:
2001-06-20



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

Beschreibung
Automated Theorem Proving in Software Engineering
Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the prover's capabilities and for selecting and developing an appropriate interface architecture. von Schumann, Johann M.
Produktdetails
Einband:
Gebunden
Seitenzahl:
228
Erschienen:
2001-06-20
Sprache:
Englisch
EAN:
9783540679899
ISBN:
3540679898
Verlag:
Gewicht:
508 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
Neu
80,24 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 388 Seiten
- Erschienen 1993
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Fritzson, Peter A.
5,68 €
53,49 €
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Scarpellini, Bruno
4,86 €
42,75 €
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
-86%
- paperback
- 268 Seiten
- Erschienen 2014
- Routledge
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Detlefsen, Michael
9,68 €
70,19 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-89%
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Troelstra, Anne S.
7,90 €
69,54 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-56%
frontend/listing/product-box/box-product-slider.tpl
-56%
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Katoen, Joost-Pieter
24,92 €
57,23 €
frontend/listing/product-box/box-product-slider.tpl
-56%
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-76%
frontend/listing/product-box/box-product-slider.tpl
-98%
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
-71%
- Kartoniert
- 736 Seiten
- Erschienen 2007
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Grumberg, Orna und Huth, Mi...
33,39 €
114,48 €
frontend/listing/product-box/box-product-slider.tpl
-41%
- paperback -
- Erschienen 2003
- De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Newman, James R.
59,23 €
99,95 €
frontend/listing/product-box/box-product-slider.tpl
-97%
frontend/listing/product-box/box-product-slider.tpl
-98%
- Hardcover
- 264 Seiten
- World Scientific Publishing...
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Ramesh, S.;Shyamasundar, R K;
2,46 €
121,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
-97%
frontend/listing/product-box/box-product-slider.tpl
-93%
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
-89%
- hardcover
- 608 Seiten
- Erschienen 1992
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Labahn, George
17,06 €
160,49 €
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
-96%
frontend/listing/product-box/box-product-slider.tpl
-45%
frontend/listing/product-box/box-product-slider.tpl
-95%