Catalogo · 9780511777110
Introduction to Bisimulation and Coinduction
ISBN 9780511777110
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Advanced topics in bisimulation and coinduction
Davide Sangiorgi
Trustworthy global computing
Rocco De Nicola, Davide Sangiorgi
Theoretical Computer Science
Josep Diaz, Ivan Lanese, Davide Sangiorgi
Pi-Calculus
Davide Sangiorgi, David Walker - undifferentiated
Concurrency theory
Davide Sangiorgi, Gerhard Goos, Juris Hartmanis
An introduction to bisimulation and coinduction
Davide Sangiorgi
Verba volant · scripta manent