m

F Nous contacter

0

Documents  Larsen, K. G. | enregistrements trouvés : 2

O
     

-A +A

P Q

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

- 289p.
ISBN 978-3-540-60630-7

Lecture notes in computer science , 1019

Localisation : Collection 1er étage

informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème

00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30

... Lire [+]

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