- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Logic for Concurrency and Synchronisation
167,95 €
+ 335 points
Description
This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.
Spécifications
Parties prenantes
- Editeur:
Contenu
- Nombre de pages :
- 285
- Langue:
- Anglais
- Collection :
- Tome:
- n° 18
Caractéristiques
- EAN:
- 9781402012709
- Date de parution :
- 31-05-03
- Format:
- Livre relié
- Format numérique:
- Genaaid
- Dimensions :
- 180 mm x 234 mm
- Poids :
- 621 g
