- 487p.
Cote : 00029968
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