English
A decade of concurrency:
reflections and perspectives; REX school/symposium#June1-4
De Bakker, J. W. (Editeur) ; De Roever, W. P. (Editeur) ; Rosenberg, G. (Editeur)
1994
684p.
978-3-540-58043-0
00030012
informatique # programmation formelle # algébre de processus # système concurrent # temps réel # syncronicité # vérification automatique # logique temporelle
Ville d'édition : Berlin ; Heidelberg
Pays d'édition : Allemagne
Langue : Anglais
EAN13 : 9783540580430
ISBN : 3-540-58043-3
Collation : fig.#tables#24 cm#broch.
Collection : Lecture notes in computer science
N° de collection : 0803
Localisation : Collection 1er étage
Année de la rencontre : 1993
Ville du congrès : Noordwijkerhout
Pays du congrès : Pays-Bas
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00030012 | [disponible] |
