Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Distributed Pi-Calculus

Name: Distributed Pi-Calculus
Brand: Cambridge University Press
SKU: 02048393
Price: 2300 CZK
Availability: InStock
Author: Matthew Hennessy
ISBN: 9780521873307

Matthew Hennessy

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02048393

Nakladatelství Cambridge University Press, březen 2007

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and t... Celý popis

Libristo kód: 02048393

230 b

2 300 Kč

Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Pi-Calculus Davide SangiorgiDavid Walker

Brožovaná

2 071 Kč

Formal Methods for Open Object-Based Distributed Systems Roberto Gorrieri

Brožovaná

1 182 Kč

Communicating and Mobile Systems Robin Milner

Brožovaná

1 819 Kč

American Work Values Paul Bernstein

Brožovaná

914 Kč

Loving yourself through Math Made E-Z'er Derick Smith

Brožovaná

279 Kč

Gaining Advantage from Open Borders RATTI

Brožovaná

275 Kč

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behaviour of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.