Proof in vdm: a practitioner's guide
Auteur :
Bicarregui, J.
Éditeur :
Bicarregui, J.Fitzgerald, John S.,Lindsay, P.A.,Moore, R.C.,Ritchie, Brian,
ISBN :
9783540198130
Date de publication :
1 déc. 1993
Dimensions :
23,5 x 15,5 x 2,0 cm
Poids :
635 g
Format :
Trade paperback (UK)
Langue :
Anglais
Pays d'origine :
Allemagne
A manual which explores the practical aspects of constructing proofs in the specification and development of computing systems. All techniques are illustrated with numerous worked examples and use the basic data types of the VDM specification language.