Faites connaître cet article à vos amis:
Practical Formal Software Engineering: Wanting the Software You Get Bruce Mills
Practical Formal Software Engineering: Wanting the Software You Get
Bruce Mills
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.
376 pages, Worked examples or Exercises; 6 Tables, unspecified
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 19 décembre 2019 |
| ISBN13 | 9781108818643 |
| Éditeurs | Cambridge University Press |
| Pages | 378 |
| Dimensions | 187 × 246 × 22 mm · 716 g |
| Langue et grammaire | Anglais |
Plus par Bruce Mills
Afficher toutPlus d'ouvrages du même éditeur
Voir tous les Bruce Mills ( par ex. Paperback Book et Hardcover Book )