Verification of sequential and concurrent programs

Bibliographic Details
Main Author: Krzysztof r apt,Ernst -Rudiger olderog
Format: Printed Book
Language:English
Published: Springer-Verlag 1997

DCS

Holdings details from DCS
Call Number: 004.436
Copy Live Status Unavailable

Similar Items