architecture # gestion de système # logiciel # logique # organisation système # requète # signification des programmes # spécification # système d'exploitation # système informatique # vérification

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne RDA

Language : English

EAN13 : 9783540626008

ISBN : 3-540-62600-X

Collation : Bibliogr. ; fig.#24 cm#broch.

Series : Lecture notes in computer science

Nb in series : 1201

Location : Collection 1er étage

Event Year : 1997

City of congres : Grenoble

Country of congres : France

ACM code : C.1.m ; C.3 ; D.2.1 ; D.4.7 ; F.3.1

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies