- 723 p.
Call n° : 00015255
calcul par des dispositifs abstraits # implémenta tion de système informatique # informatique théorique # langage formel # loc igiel # logique de programmes # logique mathématique # mathématique de l'informatique # mathématique discrète # opération sur réseau # projet REX # signification des programmes # système concurrent # temps réel
68-06 ; 68Q05 ; 68Q10 ; 68Qxx ; 68Rxx
Location : Collection 1er étage