Start Over Please hold this item Export MARC Display Return To Browse
 
     
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, 1997.
Edition 2nd ed.


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 364p.
Edition 2nd ed.
ISBN 0387948961
 Click on the terms below to find similar items in the catalogue
Author Apt, Krzysztof R., 1949-
Series Graduate texts in computer science
Subject Computer software -- Verification.
Alt author Olderog, Ernst-Rudiger.
Descript 364p.
Edition 2nd ed.
ISBN 0387948961
Author Apt, Krzysztof R., 1949-
Series Graduate texts 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 364p.
Alt author Olderog, Ernst-Rudiger.
ISBN 0387948961
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