
A Framework for Formal Representation and Transformational Optimisation of Executable Specifications
Thomas Meyer(Author)
Logos Berlin (Publisher)
Published on 1. September 2008
Book
Paperback/Softback
217 pages
978-3-8325-1562-1 (ISBN)
More details
Series
Thesis
Doctoral thesis
2005
Universität Bremen
Language
English
Dimensions
Height: 21 cm
Width: 14.5 cm
ISBN-13
978-3-8325-1562-1 (9783832515621)
Schweitzer Classification