m

Documents  Critères de recherche : "Tools and algorithms for the construction and analysis of systems" | enregistrements trouvés : 5

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.

- 434p.
ISBN 978-3-540-61042-7

Lecture notes in computer science , 1055

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 ; 68N30 ; 68Q85 ; 68W15

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

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

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

- 552p.
ISBN 978-3-540-67282-1

Lecture notes in computer science , 1785

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