On The Correctness Of Refinement Steps In Program Development
Download On The Correctness Of Refinement Steps In Program Development full books in PDF, epub, and Kindle. Read online free On The Correctness Of Refinement Steps In Program Development ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
On the Correctness of Refinement Steps in Program Development
Author | : Ralph-Johan Back |
Publisher | : |
Total Pages | : 109 |
Release | : 1978 |
Genre | : Computer programs |
ISBN | : 9789514515057 |
Download On the Correctness of Refinement Steps in Program Development Book in PDF, Epub and Kindle
On the Correctness of Refinement Steps in Program Development Related Books
Language: en
Pages: 109
Pages: 109
Type: BOOK - Published: 1978 - Publisher:
Language: en
Pages: 421
Pages: 421
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is ri
Language: en
Pages: 352
Pages: 352
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team wh
Language: en
Pages: 169
Pages: 169
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specification
Language: en
Pages: 273
Pages: 273
Type: BOOK - Published: 2012-04-10 - Publisher: Springer Science & Business Media
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so f