Formal specification: techniques and applications
Auteur :
Nissanke, Nimal
Éditeur :
Nissanke, Nimal
ISBN :
9781852330026
Date de publication :
27 juil. 1999
Dimensions :
23,4 x 15,6 x 1,6 cm
Poids :
445 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This textbook offers a practical and versatile approach to constructing formal specifications. It covers both model-based and algebraic approaches and emphasizes the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life.