Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog.
By: Apt, Krzysztof R.
Contributor(s): Boer, Frank S | Olderog, Ernst-Rüdiger | SpringerLink (Online service).
Material type: BookSeries: Texts in Computer Science.Publisher: London : Springer London, 2009Description: digital.ISBN: 9781848827455.Subject(s): Computer science | Logic design | Computer Science | Logics and Meanings of Programs | Mathematical Logic and Formal LanguagesDDC classification: 005.1015113 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.