87,90 лв.

Practical Formal Software Engineering

87,90 лв.
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