
The Pi-Calculus
864 kr
864 kr
Ons, 6 aug - tis, 12 aug
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisProduktbeskrivning
Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.
Artikel.nr.
f0c82e36-c47f-4726-a75e-9d0762fee23c
The Pi-Calculus
864 kr
864 kr
Ons, 6 aug - tis, 12 aug
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisLiknande toppsäljare

3-pack rakblad kompatibel med Philips Oneblade Replacement
159 kr

PÅFYLLNINGSSATS FÖR LUFTKONDITIONERING R134A-VÄTSKA
382 kr

POP MART Labubu The Monsters Big Into Energy Series Figures Vinyl Plush Pendant Blind Box
499 kr

PÅFYLLNINGSSATS FÖR LUFTKONDITIONERING R134A-MEDEL 2 X GAS
488 kr

Apple AirPods 4 Active Noise Cancellation Wireless In-ear
2 079 kr

Rakapparat med dubbla huvuden 2-i-1 för Kvinnor, IPX7 Vattentät, Bikinitrimmer, Dubbelhuvud, Typ-C Ljusrosa
221 kr

INF Öronkuddar för Bose QC35 I/II, QC25, QC15, QC 2 AE 2, AE 2i, AE 2w, SoundTrue, SoundLink
79 kr
Tidigare lägsta pris:
99 kr

Apple AirPods 4 Wireless In-ear
1 578 kr

Apple AirPods Pro (andra generationen) 2023 med MagSafe-fodral (USB-C)
2 698 kr

PlayStation 5 Slim Digital Edition (PS5)
5 884 kr
Tidigare lägsta pris:
6 589 kr
Rekommendationer för dig

iPhone Snabbladdare USB-C PD 3.0. 20W Strömadapter + Kabel
117 kr

INF TYPE-C Dubbel SD/TF-kortläsare för snabb dataöverföring 0
79 kr

Apple Iphone 16e 128GB Svart Svart
7 390 kr

Lattafa Angham EDP 100 ml
493 kr
Tidigare lägsta pris:
635 kr

Apple AirTag 4-pack
1 034 kr
Tidigare lägsta pris:
1 078 kr

Playstation 5 DualSense Controller Midnight Black
794 kr

Sony PlayStation DualSense - White (PS5)
799 kr

Apple AirPods 4 med aktiv brusreducering
2 060 kr

2-Pack - Xiaomi Däck med Verktyg - Punkteringsfritt / Elscooter
249 kr
Tidigare lägsta pris:
269 kr

UNIQ XL Hollywood Spegel med 15 LED-lampor och touch-funktion - sminkspegel med belysning - hollywoodspegel
749 kr
Tidigare lägsta pris:
795 kr