m

F Nous contacter

0

Documents  Clarke, E. M. | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 372p.
ISBN 978-3-540-54477-7

Lecture notes in computer science , 0531

Localisation : Collection 1er étage

informatique # méthodes de vérification assistée par ordinateur # langage logique # langage formel # algébres de processus

00B25 ; 68-06 ; 68T35 ; 68Q85

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 628 p.
ISBN 978-0-8218-6594-1

DIMACS series in discrete mathematics and theoretical computer science , 0003

Localisation : Collection 1er étage

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

... Lire [+]

Z