A Framework for Formal Representation and Transformational Optimisation of Executable Specifications von Thomas Meyer | ISBN 9783832515621

A Framework for Formal Representation and Transformational Optimisation of Executable Specifications

von Thomas Meyer
Buchcover A Framework for Formal Representation and Transformational Optimisation of Executable Specifications | Thomas Meyer | EAN 9783832515621 | ISBN 3-8325-1562-3 | ISBN 978-3-8325-1562-1

A Framework for Formal Representation and Transformational Optimisation of Executable Specifications

von Thomas Meyer