Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Author Apt, Krzysztof R., 1949-
Title Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger Olderog.
Publication Info New York : Springer-Verlag, 1991.


LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.76 V47 A6  8 WEEK LOAN  AVAILABLE
Persistent link to this item
Click link and copy URL from browser navigation toolbar

Descript 441p.
ISBN 3540975322
 Click on the terms below to find similar items in the catalogue
Author Apt, Krzysztof R., 1949-
Series Texts and monographs in computer science
Subject Computer software -- Verification.
Alt author Olderog, Ernst-Rudiger.
Descript 441p.
ISBN 3540975322
Author Apt, Krzysztof R., 1949-
Series Texts and monographs in computer science
Subject Computer software -- Verification.
Alt author Olderog, Ernst-Rudiger.
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.76 V47 A6  8 WEEK LOAN  AVAILABLE

Subject Computer software -- Verification.
Descript 441p.
Alt author Olderog, Ernst-Rudiger.
ISBN 3540975322
Persistent link to this item
Click link and copy URL from browser navigation toolbar

Links and services for this item:

Persistent link to this item
Click link and copy URL from browser navigation toolbar