
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

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

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

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

PlayStation 5 Slim Digital Edition (PS5)
5 884 kr
Tidigare lägsta pris:
6 589 kr

Apple AirPods 4 Wireless In-ear
1 578 kr

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

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

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

Apple AirPods Pro (andra generationen) 2023 med MagSafe-fodral (USB-C)
2 698 kr
Rekommendationer för dig

iPhone Snabbladdare USB-C PD 3.0. 20W Strömadapter + Kabel
117 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

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

Giftbete för möss och råttor granulat 1 kg
277 kr

Sony PlayStation DualSense - White (PS5)
799 kr

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

Apple Iphone 16e 128GB Svart Svart
7 390 kr

2025 Ny uppgradering Hundklippare för Hundtassar – Tyst och Effektiv Tasstrimmer med LED-lampa
149 kr

Dolce&Gabbana Light Blue Edt 50 ml woman
489 kr