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.
- 443p.
ISBN 978-3-540-65703-3
Lecture notes in computer science , 1579
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 [+]
