ENGLISH

Verification of Sequential and Concurrent Programs

By Krzysztof R. Apt , Ernst-Rüdiger Olderog

Book information

Publisher
Springer
Year
1997
ISBN
978-1-4757-2716-6, 978-1-4757-2714-2
DOI
10.1007/978-1-4757-2714-2
Language
english
Format
PDF
Filesize
9 MB (9494385 bytes)
Series
Graduate Texts in Computer Science
Edition
2nd
Pages
370\370
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Logics and Meanings of Programs; Mathematical Logi

Similar books