Verwandte Artikel zu Advanced Topics in Bisimulation and Coinduction Hardback:...
Advanced Topics in Bisimulation and Coinduction Hardback: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52) - Hardcover
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.
Neu kaufen
Diesen Artikel anzeigen
EUR 112,26
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Advanced Topics in Bisimulation and Coinduction Hardback:...
Beispielbild für diese ISBN
ADVANCED TOPICS IN BISIMULATION AND COINDUCTION
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-21322
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Advanced Topics in Bisimulation and Coinduction
Verlag:
Cambridge University Press, Cambridge, 2012
ISBN 10: 1107004977
ISBN 13: 9781107004979
Gebraucht
Hardcover
Anbieter: Daedalus Books, Portland, OR, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. Lightly edge worn. A nice, bright copy. ; Cambridge Tracts In Theoretical Computer Science, Series Number 52; 9.0 X 6.1 X 0.9 inches; 326 pages. Bestandsnummer des Verkäufers 328639
Anzahl: 1 verfügbar
Foto des Verkäufers
Advanced Topics in Bisimulation and Coinduction
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Über 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
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Bestandsnummer des Verkäufers ria9781107004979_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9781107004979
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Advanced Topics in Bisimulation and Coinduction
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 12619334-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Advanced Topics in Bisimulation and Coinduction
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 1st edition. 340 pages. 9.50x6.50x1.00 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __1107004977
Anzahl: 1 verfügbar
Foto des Verkäufers
Advanced Topics in Bisimulation and Coinduction
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 12619334-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Advanced Topics in Bisimulation and Coinduction (Hardcover)
Verlag:
Cambridge University Press, Cambridge, 2011
ISBN 10: 1107004977
ISBN 13: 9781107004979
Neu
Hardcover
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: new. Hardcover. 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 them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics. Seven chapters deal with various aspects of bisimulation and coinduction: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9781107004979
Anzahl: 1 verfügbar
Foto des Verkäufers
Advanced Topics in Bisimulation and Coinduction
Verlag:
Cambridge University Press, GB, 2011
ISBN 10: 1107004977
ISBN 13: 9781107004979
Neu
Hardcover
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. 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 them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material. Bestandsnummer des Verkäufers LU-9781107004979
Anzahl: Mehr als 20 verfügbar