Advanced Topics in Bisimulation and Coinduction (English, Davide Sangiorgi | Jan Rutten)
by Davide Sangiorgi | Jan Rutten
Delivery options
₹14,578
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: ₹14,578
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9781107004979
ISBN-10
1107004977
Author
Davide Sangiorgi | Jan Rutten
About the Book
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 computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between…
ISBN: 9781107004979
ISBN-13: 9781107004979
ISBN-10: 1107004977
Frequently Asked Questions
What is the price of Advanced Topics in Bisimulation and Coinduction?
Advanced Topics in Bisimulation and Coinduction starts from ₹14578 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Advanced Topics in Bisimulation and Coinduction?
Davide Sangiorgi | Jan Rutten is the author of Advanced Topics in Bisimulation and Coinduction. Browse more books by Davide Sangiorgi | Jan Rutten on BookBajar.
Is Advanced Topics in Bisimulation and Coinduction available in Paperback and Hardcover?
Yes, Advanced Topics in Bisimulation and Coinduction is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Advanced Topics in Bisimulation and Coinduction?
Yes, BookBajar offers free delivery for Advanced Topics in Bisimulation and Coinduction across India. No minimum order value required.
Is Cash on Delivery available for Advanced Topics in Bisimulation and Coinduction?
Yes, Cash on Delivery (COD) is available for Advanced Topics in Bisimulation and Coinduction on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9781107004979
🛒 Customers Also Bought
Die Isolierstoffe Der Elektrotechnik (English, C. Brinkmann)
₹4,619
Die Sanktion Im Recht Der Europäischen Union (English, Stephan Bitter)
₹9,833
Gleichgewicht Und Reibungslose Bewegung (English, O. Tietjens)
₹4,181
Denken Und Fühlen (English, Erwin Roth)
₹4,132
Digital VLSI Systems Design (English, Seetharaman Ramachandran)
₹7,500
Alphonse Mucha (Best of...) (English, Paperback, Patrick Bade, Victoria Charles)
₹2,700Related Products
Cost-Sharing and Accessibility in Higher Education (English, Pedro N. Teixeira | D. Bruce Johnstone | Maria J. Rosa)
₹11,503
Beliefs about SLA (English, P. Kalaja | A. M. Ferreira Barcelos)
₹11,368
Emotionale Kompetenz Im Lehrberuf (English, Christof Kuhbandner | Iris Schelhorn)
₹3,143
Freundlichkeit Im Schulalltag (English, Gisela Steins)
₹2,779
Königin Luise (English, Eduard Engel)
₹5,820