Conte aos seus amigos sobre este item:
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ídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 19 de dezembro de 2019 |
| ISBN13 | 9781108818643 |
| Editoras | Cambridge University Press |
| Páginas | 376 |
| Dimensões | 187 × 246 × 22 mm · 666 g |
Mais por Bruce Mills
Mostrar tudoMere med samme udgiver
Ver tudo de Bruce Mills ( por exemplo Paperback Book e Hardcover Book )