A Theory And Practice Of Program Development
Download A Theory And Practice Of Program Development full books in PDF, epub, and Kindle. Read online free A Theory And Practice Of Program Development ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
A Theory and Practice of Program Development
Author | : Derek J. Andrews |
Publisher | : Springer Science & Business Media |
Total Pages | : 421 |
Release | : 2012-12-06 |
Genre | : Mathematics |
ISBN | : 1447109872 |
Download A Theory and Practice of Program Development Book in PDF, Epub and Kindle
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.
A Theory and Practice of Program Development Related Books
Pages: 642
Pages: 421
Pages: 424
Pages: 425