Treffer: Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997)
Title:
Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997)
Authors:
Source:
ACM SIGACT News ; volume 29, issue 3, page 46-48 ; ISSN 0163-5700
Publisher Information:
Association for Computing Machinery (ACM)
Publication Year:
1998
Document Type:
Fachzeitschrift
article in journal/newspaper
Language:
English
DOI:
10.1145/300307.1040357
Availability:
Accession Number:
edsbas.795062CE
Database:
BASE