Practical formal software engineering: wanting the software you get
Auteur :
Mills, Bruce
Éditeur :
Cambridge University Press
ISBN :
9781108818643
Date de publication :
19 déc. 2019
Dimensions :
24,7 x 19,0 x 2,0 cm
Poids :
700 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
A textbook with a practical bent, for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software.