Français
Real-time :
REX workshop#June 3-7
De Bakker, J.W. (Editor) ; De Roever, W. P. (Editor) ; Huizing, C. (Editor) ; Rozenberg, G. (Editor)
1992
723 p.
978-3-540-55564-3
00015255
calcul par des dispositifs abstraits # implémenta tion de système informatique # informatique théorique # langage formel # loc igiel # logique de programmes # logique mathématique # mathématique de l'informatique # mathématique discrète # opération sur réseau # projet REX # signification des programmes # système concurrent # temps réel
Publisher City : Heidelberg ; N.Y. ; Paris
Publisher country : France
Language : English
EAN13 : 9783540555643
ISBN : 3-540-55564-1
Collation : 24 cm#broch. ; Bibliogr.
Series : Lecture notes in computer science
Nb in series : 0600
Location : Collection 1er étage
Event Year : 1991
City of congres : Mook
Country of congres : Pays-Bas
ACM code : C.2.3 ; C.5 ; D ; F.1 ; F.3.4
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00015255 | [available] |
