Related Books
Language: en
Pages: 173
Pages: 173
Type: BOOK - Published: 2007 - Publisher: Cuvillier Verlag
Language: en
Pages: 488
Pages: 488
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Com
Language: en
Pages: 248
Pages: 248
Type: BOOK - Published: 1991-12-04 - Publisher: Springer Science & Business Media
The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The desi
Language: en
Pages: 198
Pages: 198
Type: BOOK - Published: 1998-06-30 - Publisher: World Scientific
CafeOBJ is an industrial strength modern algebraic specification language, a successor of the famous OBJ language, and directly incorporating new paradigms such
Language: en
Pages: 955
Pages: 955
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industri
