m

Documents  Brinksma, E. | 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.

- 431p.
ISBN 978-3-540-62790-6

Lecture notes in computer science , 1217

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 [+]

Z