MENÜ MENÜ  

cover

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

40.50 €