The Springer International Engineering a Compositional Verification of Concurrent and Real-Time Systems, Book 676, (Hardcover)
The Springer International Engineering a Compositional Verification of Concurrent and Real-Time Systems, Book 676, (Hardcover) Author: Springer ISBN: 9781402070259 Format: Hardcover Publication Date: 2002-04-30 Page Count: 196
Shipping & Returns
Shipping & Returns








