Apt, Krzysztof R.
Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog. - London : Springer London, 2009. - digital. - Texts in Computer Science, 1868-0941 . - Texts in Computer Science, .
9781848827455
10.1007/978-1-84882-745-5 doi
Computer science.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog. - London : Springer London, 2009. - digital. - Texts in Computer Science, 1868-0941 . - Texts in Computer Science, .
9781848827455
10.1007/978-1-84882-745-5 doi
Computer science.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
QA76.9.L63 QA76.5913 QA76.63
005.1015113