- 519 p.
Cote : 00013914
algorithme # algorithmes distribués # combinatoire # complexité # informatique théorique # langage # langage de programmation # logique # mathématique discrètes # processeurs # sémantique # vérification des algorithmes
68Q25 ; 68Q45 ; 68Q55 ; 68Qxx ; 68Rxx
Localisation : Collection 1er étage