Verwandte Artikel zu Introduction to Bisimulation and Coinduction Hardback

Introduction to Bisimulation and Coinduction Hardback - Hardcover

 
9781107003637: Introduction to Bisimulation and Coinduction Hardback

Inhaltsangabe

A comprehensive treatment of two fundamental concepts in computer science, mathematics and other fields.

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

Über die Autorin bzw. den Autor

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

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

  • VerlagCambridge University Press
  • Erscheinungsdatum2011
  • ISBN 10 1107003636
  • ISBN 13 9781107003637
  • EinbandTapa dura
  • SpracheEnglisch
  • Anzahl der Seiten260
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Gut
Former library book; may include...
Diesen Artikel anzeigen

EUR 9,08 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Introduction to Bisimulation and Coinduction Hardback

Beispielbild für diese ISBN

Sangiorgi, Davide
ISBN 10: 1107003636 ISBN 13: 9781107003637
Gebraucht Hardcover

Anbieter: Better World Books, Mishawaka, IN, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Artikel-Nr. 52158220-6

Verkäufer kontaktieren

Gebraucht kaufen

EUR 103,06
Währung umrechnen
Versand: EUR 9,08
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Sangiorgi, Davide
ISBN 10: 1107003636 ISBN 13: 9781107003637
Neu Hardcover

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Gebunden. Zustand: New. A comprehensive treatment of two fundamental concepts in computer science, mathematics and other fields.Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction an. Artikel-Nr. 900074261

Verkäufer kontaktieren

Neu kaufen

EUR 125,31
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Davide Sangiorgi
ISBN 10: 1107003636 ISBN 13: 9781107003637
Neu Hardcover

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: Neu. Neuware - Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis. Artikel-Nr. 9781107003637

Verkäufer kontaktieren

Neu kaufen

EUR 173,05
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Sangiorgi, Davide (Editor)
Verlag: Cambridge Univ Pr, 2011
ISBN 10: 1107003636 ISBN 13: 9781107003637
Neu Hardcover

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Brand New. 264 pages. 10.04x7.13x0.83 inches. In Stock. Artikel-Nr. x-1107003636

Verkäufer kontaktieren

Neu kaufen

EUR 163,23
Währung umrechnen
Versand: EUR 11,87
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb