All 2 Eric Y.T. Juan releases on Paperback Book and ... Book
Categories
Other
Support
USD
In stock at iMusic
Show unavailable items
![Cover for Eric Y.T. Juan · Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science (Paperback Book) [Softcover reprint of the original 1st ed. 2002 edition] (2012)](https://imusic.b-cdn.net/images/item/original/492/9781461353492.jpg?eric-y-t-juan-2012-compositional-verification-of-concurrent-and-real-time-systems-the-springer-international-series-in-engineering-and-computer-science-paperback-book&class=scaled&v=1448745853)
![Cover for Eric Y.T. Juan · Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science (Hardcover Book) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/259/9781402070259.jpg?eric-y-t-juan-2002-compositional-verification-of-concurrent-and-real-time-systems-the-springer-international-series-in-engineering-and-computer-science-hardcover-book&class=scaled&v=1408486917)