Main image
Click to view image in fullscreen
![]()
Practical Formal Software Engineering
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.
450,00 DH
Sur commande
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.
| ISBN / EAN | 9781108818643 |
|---|---|
| Auteur | Mills, Bruce |
| Editeur | Cambridge University Press |