Related Books
Language: en
Pages: 173
Pages: 173
Type: BOOK - Published: 2007 - Publisher: Cuvillier Verlag
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: 626
Pages: 626
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and su
Language: en
Pages: 612
Pages: 612
Type: BOOK - Published: 1997-12 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney,
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