The book is currently out of stock
Rigorous methods for software construction and analysis
Authors
Book variant
2009, paperbackBook purchase
We’ll notify you via email once we track it down.
2009, paperbackWe have over a million books in stock
2009, paperback