Bookbot
The book is currently out of stock

A framework for formal representation and transformational optimisation of executable specifications

Book purchase

A framework for formal representation and transformational optimisation of executable specifications, Thomas Meyer-Wieser

Language
Released
2008
We’ll notify you via email once we track it down.

Payment methods