Concur '98 Concurrency Theory
Davide Sangiorgi, Robert De Simone
₹4,780
Advanced Topics in Bisimulation and Coinduction
by Davide Sangiorgi, Jan Rutten
Cambridge University Press · 2011
₹5,037
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Cambridge University Press in 2011, Advanced Topics in Bisimulation and Coinduction by Davide Sangiorgi & Jan Rutten is available as a new copy.
The book deals with Computer science, Bisimulation, Modality (Logic) and Coinduction (Mathematics).
Book details
- ISBN-13
- 9781107004979
- ISBN-10
- 1107004977
- Authors
- Davide Sangiorgi, Jan Rutten
- Publisher
- Cambridge University Press
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Electronic data processing
More by Davide Sangiorgi and related titles
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
₹4,330
Advances in Computers
Ali Hurson
₹10,490
An Introduction to Scientific, Symbolic, and Graphical Computation
Eugene Fiume
₹4,043
Intelligent Computer Mathematics
Claudio Sacerdoti Coen
₹4,259
Data Quality and Record Linkage Techniques
Fritz J. Scheuren, William E. Winkler, Thomas N. Herzog
₹5,569
Computer Analysis of Sequence Data Part II
Annette M. Griffin, Hugh G. Griffin
₹5,208
The Elements of Computing Systems
Noam Nisan, Shimon Schocken
₹3,887
The Practice of Reproducible Research – Case Studies and Lessons from the Data–Intensive Sciences
Fatma Deniz, Justin Kitzes, Daniel Turek
₹2,741
Many-Electron Approaches in Physics, Chemistry and Mathematics
Volker Bach, Luigi Delle Site
₹4,247
DV-Unterstützung Beim Planen Und Einführen Von CIM-Lösungen
Hubert Schüle
₹3,508
Lims
Richard Mahaffey
₹9,959