The book is currently out of stock
A framework for formal representation and transformational optimisation of executable specifications
Authors
Book variant
2008, paperbackBook purchase
We’ll notify you via email once we track it down.
2008, paperback