Take a photo of a barcode or cover
247 pages • missing pub info (view editions)
ISBN/UID: 9781107003637
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 13 October 2011
Description
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. Today, it is widely used in computer science, but al...
Community Reviews
Content Warnings
247 pages • missing pub info (view editions)
ISBN/UID: 9781107003637
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Edition Pub Date: 13 October 2011
Description
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. Today, it is widely used in computer science, but al...
Community Reviews
Content Warnings