Related Books
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: 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: 295
Pages: 295
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming.
Language: en
Pages: 443
Pages: 443
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media
The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 August-1 S
Language: en
Pages: 404
Pages: 404
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x
