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.
- VerlagCambridge University Press
- Erscheinungsdatum2011
- ISBN 10 1107004977
- ISBN 13 9781107004979
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten340
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 147,68
EUR 5,82 für den Versand von Vereinigtes Königreich 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
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
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
Foto des Verkäufers
Advanced Topics in Bisimulation and Coinduction
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Ü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: 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
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: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 12619334-n
Anzahl: Mehr als 20 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
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 340. Bestandsnummer des Verkäufers 183123391
Anzahl: 3 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
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory. Bestandsnummer des Verkäufers 9781107004979
Anzahl: 1 verfügbar