Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Distributed Pi-Calculus

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

Matthew Hennessy

Sprache

Englisch

Buch Hardcover

Libristo-Code: 02048393

Verlag Cambridge University Press, März 2007

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and t... Vollständige Beschreibung

Libristo-Code: 02048393

208 b

84.89 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Hasta que te caigas bien Elizabeth Clapés

Broschur

8.89 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Distributed Pi-Calculus

Autor Matthew Hennessy

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2007

Anzahl der Seiten 278

EAN 9780521873307

ISBN 0521873304

Libristo-Code 02048393

Verlag Cambridge University Press

Gewicht 626

Abmessungen 182 x 254 x 19

Kategorie

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation > Client-Server-Netzwerke

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert