m

Documents  Levi, Giorgio | enregistrements trouvés : 2

O
     

-A +A

P Q

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

- 336 p.
ISBN 978-3-540-17611-4

Lecture notes in computer science , 0250

Localisation : Collection 1er étage

algorithme # logique # preuve de programme # programmation fonctionnelle # programmation logique # prolog

68N17 ; 68Nxx

... Lire [+]

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

- 266 p.
ISBN 978-3-540-17660-2

Lecture notes in computer science , 0249

Localisation : Collection 1er étage

algorithme # informatique théorique # preuve # spécification algébrique

68Q65

... Lire [+]

Z