Specification of software systems
Auteur :
Alagar, V.S. / Periyasamy, K.
Éditeur :
Springer London Ltd
ISBN :
9780857292766
Date de publication :
28 mars 2011
Dimensions :
24,0 x 16,0 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.