Related Books
Language: en
Pages: 389
Pages: 389
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and impl
Language: en
Pages: 315
Pages: 315
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were sub
Language: en
Pages: 378
Pages: 378
Type: BOOK - Published: 1992 - Publisher: Springer Verlag
Language: en
Pages: 323
Pages: 323
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media
The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a fam
Language: en
Pages: 435
Pages: 435
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media
This volume results from the four-day scientific Second International East/West Database Workshop which took place 25th-28th September 1994, in Klagenfurt, Aust
