MENÜ
A Framework for Formal Representation and Transformational Optimisation of Executable Specifications
BISS Monographs, Bd. 21
Thomas Meyer
ISBN 978-3-8325-1562-1
217 pages, year of publication: 2008
price: 40.50 €
Keywords:
- Theorem Proving
- Code Generation
- Transformational Development
- Formal Semantics
-
BUYING OPTIONS