m

F Nous contacter

0

Documents  Skou, A. | enregistrements trouvés : 1

O
     

-A +A

P Q

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

- 487p.
ISBN 978-3-540-55179-9

Lecture notes in computer science , 0575

informatique # méthodes de verification assistée par ordinateur # langage logique # langage formel # algorithme de démonstration de théorèmes # controleurs hardwere # protocole de communication # système en temps réel

00B25 ; 68-06 ; 68Q60 ; 68T35 ; 68T15

... Lire [+]

Z