Verification of Sequential and Concurrent Programs - bib.howest.be

Verification of Sequential and Concurrent Programs

Format:: e-book
Title:: Verification of Sequential and Concurrent Programs
Author:: Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rüdiger; de Boer, Frank S.; Pnueli, Amir
Language:: English
Publisher:: Springer London 2009
ISBN:: 1-84882-744-X
1-4471-2513-4
1-84882-745-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000798378?locale=en