Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Proof in VDM: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))
Autor:
Rok vydání:		1998
Identifikátory:		9783540761860

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	This volume provides an invaluable companion to Proof in VDM: A Practitioner's Guide. Using the proof theory presented in that volume, it examines a variety of realistic case studies which illustrate different aspects of the use of proof in formal development. Rather than concentrating on the construction of formal specifications (like most work in this area), it devotes two chapters to validation using proof, describing how proofs in VDM can be constructed via instantiations of the PVS and Isabelle theorem provers. Proof in VDM: Case Studies will provide invaluable reference material for practitioners of formal methods who need to construct proofs, students requiring a detailed introduction to the practicalities of proof, and researchers interested in the role of theorem proving in formal development and relevant tool support.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)