Introduction to Bisimulation and Coinduction - Hardcover
$115.99
$118.00
-2%Quantity
01
Pay over time for orders over $35.00 with
Language:EnglishPublisher:Cambridge University PressISBN-13:9781107003637ISBN-10:1107003636UPC:9781107003637Book Category:ComputersBook Subcategory:Networking, Machine TheorySize:9.80 x 7.50 x 0.90 inchesWeight:2.2024Product ID:SCZ9Y38C41
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 also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of...
Language:EnglishPublisher:Cambridge University PressISBN-13:9781107003637ISBN-10:1107003636UPC:9781107003637Book Category:ComputersBook Subcategory:Networking, Machine TheorySize:9.80 x 7.50 x 0.90 inchesWeight:2.2024Product ID:SCZ9Y38C41
Sangiorgi, Davide: - Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.
Publisher: Cambridge University Press
Contributor(s)
Author
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.