Advanced Topics in Bisimulation and Coinduction

Sangiorgi, Davide

ISBN 10: 1107004977 ISBN 13: 9781107004979

Verlag: Cambridge University Press, 2011

Print-on-Demand

Neu Hardcover

Verk�ufer moluna, Greven, Deutschland Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 9. Juli 2020

Dieser Artikel ist nicht mehr verf�gbar.

Alle Artikel dieses Verk�ufers anzeigen Ein Kaufgesuch f�r �hnliche Artikel erstellen

Alle Exemplare dieses Buches anzeigen

Beschreibung

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. &Uumlber den AutorDavide 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 Compute. Bestandsnummer des Verk�ufers 760523539

Diesen Artikel melden

Inhaltsangabe:

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

�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.

Bibliografische Details

Titel: Advanced Topics in Bisimulation and ...
Verlag: Cambridge University Press
Erscheinungsdatum: 2011
Einband: Hardcover
Zustand: New

Beste Suchergebnisse beim ZVAB

Beispielbild f�r diese ISBN