- 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
Topology in Process Calculus
Approximate Correctness and Infinite Evolution of Concurrent Programs
Mingsheng Ying
Livre broché | Anglais
83,95 €
+ 167 points
Format
Description
A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Professionals, researchers and graduate students in theoretical computer science will find the discussion helpful for developing new concepts for concurrent and real-time systems.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 220
- Langue:
- Anglais
Caractéristiques
- EAN:
- 9781461265221
- Date de parution :
- 28-10-12
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 156 mm x 234 mm
- Poids :
- 331 g
