The book is currently out of stock

A framework for formal representation and transformational optimisation of executable specifications
Authors
Parameters
Book purchase
A framework for formal representation and transformational optimisation of executable specifications, Thomas Meyer-Wieser
- Language
- Released
- 2008
- product-detail.submit-box.info.binding
- (Paperback)
We’ll notify you via email once we track it down.
Payment methods
- Title
- A framework for formal representation and transformational optimisation of executable specifications
- Language
- English
- Authors
- Thomas Meyer-Wieser
- Publisher
- Logos-Verl.
- Released
- 2008
- Format
- Paperback
- ISBN10
- 3832515623
- ISBN13
- 9783832515621
- Series
- BISS monographs
- Category
- Computers, IT, Programming