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.
Информация за "Practical Formal Software Engineering"
- SKU 9781108818643
- Weight 0.720000
- ISBN 9781108818643
- Вид корица Paperback / softback
- Издателство Cambridge University Press
- Брой страници 376
The information below is required for social login