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 EUR

Stichworte/keywords: Theorem Proving , Code Generation , Transformational Development , Formal Semantics ,

copy(s)