We a good story
Quick delivery in the UK

Practical Formal Software Engineering

- Wanting the Software You Get

About 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.

Show more
  • Language:
  • English
  • ISBN:
  • 9781108818643
  • Binding:
  • Paperback
  • Pages:
  • 376
  • Published:
  • December 19, 2019
  • Dimensions:
  • 187x246x22 mm.
  • Weight:
  • 716 g.
Delivery: 1-2 weeks
Expected delivery: October 18, 2024

Description of 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.

User ratings of Practical Formal Software Engineering



Find similar books
The book Practical Formal Software Engineering can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.