Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

The growing demand for high quality, safety, and security of software systems can only be met by rigorous application of formal methods during software design. Tools for formal methods in general, however, do not provide a sufficient level of automatic processing. This book methodically investigates...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Schumann, Johann M. (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Berlin, Heidelberg Springer Berlin Heidelberg 2001
Ausgabe:1st ed. 2001
Schlagworte:
Artificial Intelligence
Software Engineering
Mathematical Logic and Formal Languages
Operating Systems
Management of Computing and Information Systems
Computer Communication Networks
Artificial intelligence
Software engineering
Mathematical logic
Operating systems (Computers)
Management information systems
Computer science
Computer communication systems
Automatisches Beweisverfahren
Hochschulschrift
Online-Zugang:DE-706
URL des Eerstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

DE-706
URL des Eerstveröffentlichers

Ähnliche Einträge