Understanding formal methods
Auteur :
Monin, Jean Francois
Éditeur :
Monin, Jean Francois
ISBN :
9781852332471
Date de publication :
12 nov. 2002
Dimensions :
23,4 x 15,6 x 1,5 cm
Poids :
419 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Formal methods attempt to provide mathematical underpinning for the design of computer systems (hardware and software). This book provides a detailed introduction for those wishing to learn more about formal methods and how to apply them to their work using tools and techniques.