Program Specification And Transformation
Download Program Specification And Transformation full books in PDF, epub, and Kindle. Read online free Program Specification And Transformation 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: 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