Specification And Transformation Of Programs
Download Specification And Transformation Of Programs full books in PDF, epub, and Kindle. Read online free Specification And Transformation Of Programs ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
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: 493
Pages: 493
Type: BOOK - Published: 1990 - Publisher: