Skip to content
Scan a barcode
Scan
Hardcover Introduction to Bisimulation and Coinduction Book

ISBN: 1107003636

ISBN13: 9781107003637

Introduction to Bisimulation and Coinduction

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Hardcover

Condition: New

$105.73
Save $5.27!
List Price $111.00
50 Available
Ships within 2-3 days

Book Overview

Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools.... This description may be from another edition of this product.

Customer Reviews

0 rating
Copyright © 2024 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
GoDaddy Verified and Secured