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 Seiten, Erscheinungsjahr: 2008
Preis: 40.50 €

Keywords:
  • Theorem Proving
  • Code Generation
  • Transformational Development
  • Formal Semantics

KAUFOPTIONEN

40.50 €
auf Lager
Versandkostenfrei innerhalb Deutschlands


Wollen auch Sie Ihre Dissertation veröffentlichen?