Filter By
Books (2)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
From Action Systems to Distributed Systems: The Refinement Approach by Luigia Petre
RRP: $100.78Booksplease Price: $94.06Formal 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: $86.88Learn 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...