Advanced Topics in Bisimulation and Coinduction (English, Davide Sangiorgi | Jan Rutten)
by Davide Sangiorgi | Jan Rutten
Delivery options
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
65% Off — you save ₹9,541 on this product!
Book Details
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
Frequently Asked Questions
What is the price of Advanced Topics in Bisimulation and Coinduction?
Who is the author of Advanced Topics in Bisimulation and Coinduction?
Is Advanced Topics in Bisimulation and Coinduction available in Paperback and Hardcover?
Does GlowMirror offer free delivery for Advanced Topics in Bisimulation and Coinduction?
Is Cash on Delivery available for Advanced Topics in Bisimulation and Coinduction?
🛒 Customers Also Bought
Psychotherapie in Zeiten Kollektiver Verunsicherung (English, Ralf T. Vogel)
₹998
Intermediate Dynamics (English, R. a. Howland)
₹3,873
Bone and Cancer (English, Felix Bronner | Mary C. Farach-Carson)
₹5,314
Psychiatrie Und Psychotherapie (English, H. Berger | Horst Dilling | Christian Reimer)
₹5,030
The Paris Lectures (English, Edmund Husserl | Peter Koestenbaum)
₹4,880
Fachlexikon Toxikologie (English, Karlheinz Lohs | Peter Elstner | Peter Elstner)
₹2,779Related Products
Theoretische Physik 3 (English, Reiner M. Dreizler | Cora S. Lüdde)
₹2,634
Ratgeber Zahngesundheit (English, Alexander Glück)
₹1,208
Schadensmanagement Für Ärzte (English, Hermann Fenger | Ina Holznagel | Bettina Neuroth)
₹4,237
Grundlagen Der Klassischen Triz (English, Michael A. Orloff)
₹5,498
Neuro-Ethologie (English, J. -P Ewert)
₹3,508