Compositional Verification of Concurrent and Real-Time Systems

ISBN

9781402070259

$169.99

Author	Juan, Eric Y. T.
Format	Trade Cloth
Details	Status:Active Record Product Type:Individual Title Product Format:Books Volumes in Set:1 vol. Copyright Year:2002 Number of Pages:xix, 196 Illustrated:Yes Series Volume Number:676 Media Class:Print LC Classification Number:QA75.5-76.95