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...

Celý popis

Podrobná bibliografia

Hlavní autori:	Schwichtenberg, Helmut, Spies, Katharina
Médium:	E-kniha Kniha
Jazyk:	English
Vydavateľské údaje:	Amsterdam ; Tokyo IOS Press 2006 Sage Publications Ltd
Vydanie:	1
Predmet:	Automatic theorem proving Computer programming Computer software Congresses Development
ISBN:	1586036254, 9781586036256
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!