Introduction to Bisimulation and Coinduction (English, Davide Sangiorgi)
Delivery options
₹11,716
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹11,716
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9781107003637
ISBN-10
1107003636
Author
Davide Sangiorgi
About the Book
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 coinduction is bisimulation, mainly employed to def…
ISBN: 9781107003637
ISBN-13: 9781107003637
ISBN-10: 1107003636
Frequently Asked Questions
What is the price of Introduction to Bisimulation and Coinduction?
Introduction to Bisimulation and Coinduction starts from ₹11716 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Introduction to Bisimulation and Coinduction?
Davide Sangiorgi is the author of Introduction to Bisimulation and Coinduction. Browse more books by Davide Sangiorgi on BookBajar.
Is Introduction to Bisimulation and Coinduction available in Paperback and Hardcover?
Yes, Introduction to Bisimulation and Coinduction is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Introduction to Bisimulation and Coinduction?
Yes, BookBajar offers free delivery for Introduction to Bisimulation and Coinduction across India. No minimum order value required.
Is Cash on Delivery available for Introduction to Bisimulation and Coinduction?
Yes, Cash on Delivery (COD) is available for Introduction to Bisimulation and Coinduction on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9781107003637
🛒 Customers Also Bought
Leitfaden Für Baukunde Insbesondere Für Stahlbau (English, Leonhard Geusen | Erich Wichmann)
₹4,287
Flexibilität Von Personalintensiven Montagesystemen Bei Serienfertigung (English, H. Vähning)
₹4,178
Die Thronbesteigung Kaiser Nicolaus I. Von Rußland Im Jahre 1825 (English, M. Von Korff)
₹5,970
Numerische Steuersysteme (English, H. Wörn)
₹4,182
Maschinenlehre, Kraftmaschinen, Elektrotechnik, Werkstattförderwesen (English, H. Frey | W. Gruhl | R. Hänchen)
₹4,181
Das Sägen Der Metalle (English, H. Hollaender | H. Haake)
₹4,202Related Products
Nuovi Modelli Di Business E Creazione Di Valore (English, Lino Cinquini | Alberto Di Minin | Riccardo Varaldo)
₹1,921
Projektmanagement (English, Peter Rinza)
₹3,143
Mass Customization (English, Paolo Coletti | Thomas Aichner)
₹5,415
Derivative Securities and Difference Methods (English, You-Lan Zhu | Xiaonan Wu | I-Liang Chern)
₹13,227
Auftrag Führung (English, Siegfried Neubauer | Stefan Rankl)
₹6,058