Advanced Topics in Bisimulation and Coinduction
(Part of the Cambridge Tracts in Theoretical Computer Science Series)
No Customer Reviews
Select Format
Select Condition 
Recommended
Format: Electronics
Condition: New
$108.11
On Backorder
If the item is not restocked at the end of 90 days, we will cancel your backorder and issue you a refund.
Usually restocks within 90 days
Not eligible for Free Shipping
Book Overview
Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of... This description may be from another edition of this product.
Format:Electronics
Language:English
ISBN:0511792581
ISBN13:9780511792588
Release Date:January 1
Publisher:Cambridge University Press
Customer Reviews
0 rating
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
