Français
A decade of concurrency:
reflections and perspectives; REX school/symposium#June1-4
De Bakker, J. W. (Editor) ; De Roever, W. P. (Editor) ; Rosenberg, G. (Editor)
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
Publisher City : Berlin ; Heidelberg
Publisher country : Allemagne
Language : English
EAN13 : 9783540580430
ISBN : 3-540-58043-3
Collation : fig.#tables#24 cm#broch.
Series : Lecture notes in computer science
Nb in series : 0803
Location : Collection 1er étage
Event Year : 1993
City of congres : Noordwijkerhout
Country of congres : Pays-Bas
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00030012 | [available] |
