Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, 52, Band 52) - Hardcover

Buch 32 von 40: Cambridge Tracts in Theoretical Computer Science

Edited By Davide Sangiorgi, Jan Rutten

 
9781107004979: Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, 52, Band 52)
Hardcover
ISBN 10: 1107004977 ISBN 13: 9781107004979
Verlag: Cambridge University Press, 2011

Inhaltsangabe

Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.

Jan Rutten is a senior researcher at Centrum Wiskunde and Informatica (CWI) in Amsterdam and Professor of Theoretical Computer Science at Radboud University, Nijmegen.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
1107004977
ISBN 13 
9781107004979
Einband
Gebundene Ausgabe
Anzahl der Seiten
340
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland