Object-z specification language, the
Auteur :
Smith, Graeme
Éditeur :
Smith, Graeme
ISBN :
9780792386841
Date de publication :
1 déc. 1999
Dimensions :
23,5 x 15,5 x 1,1 cm
Poids :
410 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
Offers a description of Object-Z including discussions of semantic issues, definitions of various language constructs, type rules and other rules of usage, and specification guidelines. This book enables you to construct Object-Z specifications. It is intended as a reference manual, and for researchers and practitioners in industry.