Related Books
Language: en
Pages: 379
Pages: 379
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
Language: en
Pages: 378
Pages: 378
Type: BOOK - Published: 1984 - Publisher:
Language: en
Pages: 508
Pages: 508
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved,
Language: en
Pages: 520
Pages: 520
Type: BOOK - Published: 1990-07-05 - Publisher: Springer Science & Business Media
"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved,
Language: en
Pages: 283
Pages: 283
Type: BOOK - Published: 2008-01-12 - Publisher: Springer Science & Business Media
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation
