Related Books
Language: en
Pages: 256
Pages: 256
Type: BOOK - Published: 1996-04-03 - Publisher: World Scientific
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE
Language: en
Pages: 370
Pages: 370
Type: BOOK - Published: 2001 - Publisher: Palgrave MacMillan
Introducing abstract machines - Review of set theory and logic - Weakest preconditions - Towards machine consistency - Parameters, sets, and constants - Relatio
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: 628
Pages: 628
Type: BOOK - Published: 2003-08-02 - Publisher: Springer
This book constitutes the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2
Language: en
Pages: 852
Pages: 852
Type: BOOK - Published: 2017-09-07 - Publisher: IOS Press
Software is an essential enabler for science and the new economy. It creates new markets and directions for a more reliable, flexible and robust society and emp