analyse d'algorithme # bisimulation # calcul par dispositif abstrait # complexité # informatique théorique # logique des programmes # modélisation # multi-processeur # réseau de Pétri # signification des programmes # simulation # système d'exploitation

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

Pays d'édition : France

Langue : Anglais

EAN13 : 9783540556763

ISBN : 3-540-55676-1

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

Collection : Lecture notes in computer science

N° de collection : 0616

Localisation : Collection 1er étage

Numéro de congrès : 13

Année de la rencontre : 1992

Ville du congrès : Sheffield

Pays du congrès : Grande-Bretagne

Code ACM : C.1.2 ; D.4 ; F.1.3 ; I.6

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires