Cover Image

Verification of sequential and concurrent programs /

Show other versions (4)
Bibliographic Details
Main Author: Apt, Krzysztof R., 1949-
Other Authors: Olderog, E.-R
Format: Book
Language:English
Published: New York : Springer-Verlag, [1997]
Edition:2nd ed.
Series:Graduate texts in computer science (Springer-Verlag New York Inc.)
Subjects:
Computer software > Verification.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.V47 A67 1997
 
Call Number Status Get It
QA76.76.V47 A67 1997 Available