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á bibliografie

Hlavní autoři:	Schwichtenberg, Helmut, Spies, Katharina
Médium:	E-kniha Kniha
Jazyk:	angličtina
Vydáno:	Amsterdam ; Tokyo IOS Press 2006 Sage Publications Ltd
Vydání:	1
Témata:	Automatic theorem proving Computer programming Computer software Congresses Development
ISBN:	1586036254, 9781586036256
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!