Proof technology and computation

Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and verifications tools. The origins of this technology lie in the systematic understanding of a fully-fledged, precise notion of proof by mathematics a...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Schwichtenberg, Helmut, Spies, Katharina
Format:	E-Book Buch
Sprache:	Englisch
Veröffentlicht:	Amsterdam ; Tokyo IOS Press 2006 Sage Publications Ltd
Ausgabe:	1
Schlagworte:	Automatic theorem proving Computer programming Computer software Congresses Development
ISBN:	1586036254, 9781586036256
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!