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

Verification of Sequential and Concurrent Programs

Type:: e-book
Titel:: Verification of Sequential and Concurrent Programs
Auteur:: Apt, Krzysztof R.; Boer, Frank S.; Olderog, Ernst-Rüdiger; de Boer, Frank S.; Pnueli, Amir
Taal:: Engels
Uitgever:: Springer London 2009
ISBN:: 1-84882-744-X
1-4471-2513-4
1-84882-745-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000798378