Filter By
Books (2)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
From Action Systems to Distributed Systems: The Refinement Approach by Luigia Petre
RRP: £47.99Booksplease Price: £44.79Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems... -
Formal Methods, Informally: How to Write Programs That Work by Carroll Morgan 9781009421027
Booksplease Price: £41.37Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. While this undergraduate-level textbook is motivated by...