Hauptinhalt anzeigen

MOMENTAN AUSVERKAUFT

Automated Theorem Proving in Software Engineering von Johann M. Schumann (2001, Gebundene Ausgabe)

Über dieses Produkt

Über dieses Produkt

Produktinformation

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.

Produktkennzeichnungen

ISBN-10
3540679898
ISBN-13
9783540679899
eBay Product ID (ePID)
4210057

Produkt Hauptmerkmale

Produktart
Lehrbuch
Sprache
Englisch
Anzahl der Seiten
Xiv Seiten
Verlag
Springer-Verlag Gmbh, Springer Berlin
Publikationsname
Automated Theorem Proving in Software Engineering
Autor
Johann M. Schumann
Format
Gebundene Ausgabe
Erscheinungsjahr
2001

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Book,Cdrom
Item Length
24cm
Item Height
2cm
Item Width
15cm
Item Weight
508g

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 9,49 Gebraucht
Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Toni's Mealprep Küche ~ Antonia Elena Zimmermann ~ 9783949458910
EUR 25,00
Preistendenz: EUR 25,27
The Serpent and the Wings of Night (Crowns of Nyaxia 1) | Carissa Broadbent
EUR 18,00
Preistendenz: EUR 18,21
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,42
Brian W. Kernighan (u. a.) | The C Programming Language | Taschenbuch | Englisch
EUR 39,95
Preistendenz: EUR 47,48
Sachkundeprüfung im Bewachungsgewerbe | gemäß § 34a GewO | Jochmann (u. a.)
EUR 20,00
Preistendenz: EUR 26,84
Hans Henning Oerberg | Lingua latina per se illustrata: familia romana | Buch
EUR 27,29
Preistendenz: EUR 29,50

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant