Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Introduction to Bisimulation and Coinduction

Name: Introduction to Bisimulation and Coinduction
Brand: Cambridge University Press
SKU: 04411817
Price: 48659 HUF
Availability: InStock
Author: Davide Sangiorgi
ISBN: 9781107003637

Davide Sangiorgi

Language

English

Book Hardback

Libristo code: 04411817

Publishers Cambridge University Press, October 2011

Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning... Full description

Libristo code: 04411817

323 b

48 659 Ft

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

History of Damascus by Ibn Asaker Ibn Asaker

Adobe ePub DRM

7 208 Ft

Le Métier d'Infirmière Référente en EHPAD Moissette

Paperback

12 460 Ft

Pad Creator instant print tablet

Toy

73 713 Ft

Bruksizm Deepti Jawa

Paperback

19 502 Ft

CHAINSAW MAN 16 FUJIMOTO

Book

3 355 Ft

30 Mutmachverse und Wohlfühlreime Monika Bücken-Schaal

Game

7 630 Ft

COMPACT CASSETTEN REPORT - Azimut - Wie stelle ich den Tonkopf ein? Renate Sültz

Paperback

3 023 Ft

Alle meine Gefühle - Emotionen kennenlernen mit dem kleinen Einhorn Aurélie Chien Chow Chine

Hardback

3 730 Ft

Mein erstes Natur-Wimmelbuch: Tiere im Wald Lucy Barnard

Board book

3 639 Ft

?? (Doll, Chinese Edition? Qun Shan

Paperback

11 692 Ft

Dios Trinidad, unidad de los hombres : el monoteísmo cristiano contra la violencia Iglesia Católica. Commissio Theologica Internationalis

Paperback

4 242 Ft

Die 13 Siegel der Macht Bernhard Moestl

Paperback

5 400 Ft

Selbstverst ndnis Der R misch-Katholischen Kirche Nach Aussagen Des Zweiten Vatikanischen Konzils Monika Wobbe

Paperback

5 746 Ft

Die Getreideharfe in Europa und Ostasien Klaus Zwerger

Paperback

34 804 Ft

Musikchronik der Stadt Trier (1800-1850) Gustav Bereths

Paperback

29 974 Ft

Ästhetische Bildung. Perspektiven aus Theorie, Praxis, Kunst und Forschung Antje Danner

Paperback

6 078 Ft

Pragung des Subjekts in Freytags Soll und Haben und in Stifters Nachsommer Max Rössner

Paperback

6 439 Ft

Z fitka do kuchyne 3 Lucia Švaral

Hardback

7 374 Ft

Souvenirs de jeunesse 1939 - 1945 Paul Kalt

Paperback

2 648 Ft

Armenian Songbook Alfred Aghajanian

Paperback

11 151 Ft

Tiryns, der prähistorische Palast der Könige von Tiryns Heinrich Schliemann

Paperback

13 134 Ft

Freimutige Bemerkungen uber das Verbrechen Szekely

Paperback

4 664 Ft

Ferman Padisahindir Resat Kemal Subasi

Paperback

4 802 Ft

WarCraft Pouta bratrství Metzen Chris

Paperback

3 445 Ft

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.