Jeżeli nie znalazłeś poszukiwanej książki, skontaktuj się z nami wypełniając formularz kontaktowy.

Ta strona używa plików cookies, by ułatwić korzystanie z serwisu. Mogą Państwo określić warunki przechowywania lub dostępu do plików cookies w swojej przeglądarce zgodnie z polityką prywatności.

Wydawcy

Literatura do programów

Informacje szczegółowe o książce

Advanced Topics in Bisimulation and Coinduction - ISBN 9781107004979

Advanced Topics in Bisimulation and Coinduction

ISBN 9781107004979

Autor: Edited by Davide Sangiorgi , Jan Rutten

Wydawca: Cambridge University Press

Dostępność: 3-6 tygodni

Cena: 471,45 zł

Przed złożeniem zamówienia prosimy o kontakt mailowy celem potwierdzenia ceny.


ISBN13:      

9781107004979

ISBN10:      

1107004977

Autor:      

Edited by Davide Sangiorgi , Jan Rutten

Oprawa:      

Hardback

Rok Wydania:      

2011-10-13

Ilość stron:      

340

Wymiary:      

228 x 152 mm

Tematy:      

Information technology: general issues

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

Spis treści:
Preface
List of contributors
1. Origins of bisimulation and coinduction Davide Sangiorgi
2. An introduction to (co)algebra and (co)induction Bart Jacobs and Jan Rutten
3. The algorithmics of bisimilarity Luca Aceto, Anna Ingolfsdottir and Jiří Srba
4. Bisimulation and logic Colin Stirling
5. Howes method for higher-order languages Andrew Pitts
6. Enhancements of the bisimulation proof method Damien Pous and Davide Sangiorgi
7. Probabilistic bisimulation Prakash Panangaden.

Koszyk

Książek w koszyku: 0 szt.

Wartość zakupów: 0,00 zł

ebooks
covid

Kontakt

Gambit
Centrum Oprogramowania
i Szkoleń Sp. z o.o.

Al. Pokoju 29b/22-24

31-564 Kraków


Siedziba Księgarni

ul. Kordylewskiego 1

31-542 Kraków

+48 12 410 5991

+48 12 410 5987

+48 12 410 5989

Zobacz na mapie google

Wyślij e-mail

Subskrypcje

Administratorem danych osobowych jest firma Gambit COiS Sp. z o.o. Na podany adres będzie wysyłany wyłącznie biuletyn informacyjny.

Autoryzacja płatności

PayU

Informacje na temat autoryzacji płatności poprzez PayU.

PayU banki

© Copyright 2012: GAMBIT COiS Sp. z o.o. Wszelkie prawa zastrzeżone.

Projekt i wykonanie: Alchemia Studio Reklamy