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

Process Algebra: Equational Theories of Communicating Processes - ISBN 9780521820493

Process Algebra: Equational Theories of Communicating Processes

ISBN 9780521820493

Autor: J. C. M. Baeten , T. Basten , M. A. Reniers

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:      

9780521820493

ISBN10:      

0521820499

Autor:      

J. C. M. Baeten , T. Basten , M. A. Reniers

Oprawa:      

Hardback

Rok Wydania:      

2010-01-21

Ilość stron:      

476

Wymiary:      

228 x 152 mm

Tematy:      

Mathematical theory of computation

Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation. The authors describe the theory underlying the development, realization and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behaviour. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit Protocol for Data Communication, and Fischer’s Protocol of Mutual Exclusion. The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate.

Spis treści:
Preface
1. Process algebra
2. Preliminaries
3. Transition systems
4. Basic process theory
5. Recursion
6. Sequential processes
7. Parallel and communicating processes
8. Abstraction
9. Timing
10. Data and states
11. Features
12. Semantics
Bibliography
Index of symbols and notations
Index of authors
Index of subjects.

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