Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 523 p.
Cote : 00013419
algèbre de l'informatique # communication des systèmes # développement des systèmes # informatique théorique # partage des ressources # programmation # spécification des systèmes # système asynchone de hardware
68Q40 ; 68Q60 ; 68Q65
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 506 p.
Cote : 00015261
calcul par dispositif abstraits # fondement mathématique de la sémantique de programmation # langage de programmat ion # lo gique mathématique et langage formel # logique et signification des programmes
68-06 ; 68N15 ; 68Q45 ; 68Q55 ; 68S05
Localisation : Collection 1er étage
English