Advanced Topics in Bisimulation and Coinduction
Book 32 of 40: Cambridge Tracts in Theoretical Computer Science. Ed(s): Sangiorgi, Davide; Rutten, Jan
Sold by Kennys Bookstore, Olney, MD, U.S.A.
AbeBooks Seller since October 9, 2009
New - Hardcover
Condition: New
Ships within U.S.A.
Quantity: Over 20 available
Add to basket