analyse des algorithmes # calcul informatique # calcul parallèle # informatique théorique # langage de programmation # logique et arborescence # logique et spécification des programmes # programmation concurrente # spécification # système # système concurrent

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540566106

ISBN : 3-540-56610-4

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

Collection : Lecture notes in computer science

N° de collection : 0668

Localisation : Collection 1er étage

Numéro de congrès : 4

Année de la rencontre : 1993

Ville du congrès : Orsay

Pays du congrès : France

Code ACM : D.1 ; D.3 ; F.1 ; F.3

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires