- 398 p.
Cote : 00015265
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
68-06 ; 68N25 ; 68Nxx ; 68Q25 ; 68Qxx
Localisation : Collection 1er étage