Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 628 p.
Cote : 00015876
analyse des systèmes # calcul # circuit digital intégré # conception calcul assisté # conception et construction # condition de finitude # configuration machine # environnement et analyse des réseaux de petri # logique # lotos # papetri # processus # simulation optimal # spécification # système concurent # traitement des données # vérification des systèmes
68M15 ; 68Q05 ; 68Q60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 372p.
Cote : 00029969
informatique # méthodes de vérification assistée par ordinateur # langage logique # langage formel # algébres de processus
00B25 ; 68-06 ; 68T35 ; 68Q85
Localisation : Collection 1er étage
English