Related Books
Language: en
Pages: 650
Pages: 650
Type: BOOK - Published: 1993-08-30 - Publisher: Springer Science & Business Media
This volume gives a coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provid
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: 552
Pages: 552
Type: BOOK - Published: 1987 - Publisher: North Holland
The economic construction of correct and efficient programs is the central issue in the field of program specification and transformation. Research in this fiel
Language: en
Pages: 387
Pages: 387
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Looking back at the years that have passed since the realization of the very first electronic, multi-purpose computers, one observes a tremendous growth in hard
