Matthew Hennessy – författare
Visar alla böcker från författaren Matthew Hennessy. Handla med fri frakt och snabb leverans.
3 produkter
A Distributed Pi-Calculus
Inbunden, 2007
1411 kr
Lägg i varukorg
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. …
Automata, Languages and Programming
29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings
Av Peter Widmayer, Francisco Triguero m. fl.
Häftad, 2002
1096 kr
Lägg i varukorg
This volume contains the contributions of the 29th International Colloquium on Automata, Languages, and Programming (ICALP) held July8-13, 2002 in M'alaga, Spain. The diversityand the qualityof the scienti?c program of ICALP 2002 serve as evidence that theoretical computer science with all its …
Automata, Languages and Programming
29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings
Av Ricardo Conejo, Stephan Eidenbenz m. fl.
E-bok, 2003
1416 kr
Lägg i varukorg
