Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Theorem Proving in Software Engineering

Name: Automated Theorem Proving in Software Engineering
Brand: Springer, Berlin
SKU: 05275134
Price: 57.79 EUR
Availability: InStock
Author: Johann M. Schumann
ISBN: 9783540679899

Johann M. Schumann

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05275134

Verlag Springer, Berlin, November 2000

Growing demands for the quality, safety, and security of software can only be met by rigorous applic... Vollständige Beschreibung

Libristo-Code: 05275134

141 b

57.79 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

COSMETOLOGIA APLICADA A LA ESTETICA DECORATIVA (ACCESO) BADIA VILA

Buch

18.79 €

Diversit? faunistica e floreale dei parchi nazionali dell'India: Parte IV Joice Tom Job

Broschur

47.59 €

Vêtements

Hardcover

10.49 €

Le chemin de Sophie Geoffrion

Blatt

20.09 €

Chi znaesh ti Petsona i Findusa? Sven Nordqvist

Hardcover

10.79 €

Annales BAC 2023 Maths Terminale - Corrigé collegium

Hardcover

12.79 €

Stranianimali Rosa Lombardo

Hardcover

29.59 €

LISANDRO ALONSO, HABITER LA NATURE, REVER LE CINEMA BOUCHE Buch

Broschur

21.29 €

UM POUCO DE CONFIANÇA WINTERS

Buch

5.69 €

Principes de Droit Civil Francais, Volume 12 Franois Laurent

Broschur

32.79 €

Pienten lasten satukirja: Kokoelma tarkeista asioista Henri Yoki

Broschur

15.39 €

Gesammelte Schriften und Dichtungen Richard Wagner

Broschur

40.90 €

ESQUEMA DEL PSICOANÁLISIS SEGUIDO DE ALGUNAS LECCIONES ELEMEN Sigmund Freud

Broschur

16.59 €

L'Expedition de Madagascar M BARBOU

Broschur

18.09 €

Geschichte der Hexenprozesse in Bayern Sigmund Riezler

Broschur

41.90 €

Lehre vom Gerechten Krieg (bellum iustum) in der Katholischen Kirche Matthias Reim

Broschur

17.95 €

Der Einsatz von Vomitivmitteln zur Beweissicherung im Strafverfahren. Achim Hackethal

Broschur

71.89 €

entburokratisierte Pflegedokumentation Mathias Berger

Broschur

34.99 €

Ethik der Kinder- und Jugendhilfe Klaus Graf

Broschur

29.99 €

Die Hochzeit von Auschwitz Erich Hackl

Broschur

12.39 €

Growing demands for the quality, safety, and security of software can only be met by 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 provers' capabilities and for selecting and developing an appropriate interface architecture. The book demonstrates that state-of-the-art automated theorem provers are capable of automatically handling important tasks in the design of high quality software and provides many helpful techniques for increasing the practical usability of automated theorem provers.§Systemvoraussetzungen: CD-ROM drive, Unix (Sun OS 4.X, Sun Solaris, HP-UX) and Linux platforms.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Automated Theorem Proving in Software Engineering

Autor Johann M. Schumann

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2001

Anzahl der Seiten 228

EAN 9783540679899

ISBN 3540679898

Libristo-Code 05275134

Verlag Springer, Berlin

Gewicht 472

Abmessungen 156 x 234 x 15

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert