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

Publisher City : Heidelberg ; N.Y. ; Paris

Publisher country : France

Language : English

EAN13 : 9783540556763

ISBN : 3-540-55676-1

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

Series : Lecture notes in computer science

Nb in series : 0616

Location : Collection 1er étage

Event Number : 13

Event Year : 1992

City of congres : Sheffield

Country of congres : Grande-Bretagne

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

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies