m

F Nous contacter

0

Documents  Siekmann, Jorg H. | enregistrements trouvés : 1

O
     

-A +A

P Q

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

- 708 p.
ISBN 978-3-540-16780-8

Lecture notes in computer science , 0230

Localisation : Collection 1er étage

déduction et preuve de théorème # grammaire et autres systèmes de reécriture # logique mathématique # specification # vérification et raisonnement sur les programmes

68Q60 ; 68T15

... Lire [+]

Filtrer

Auteurs
Codes MSC
Langue

Ressources Electroniques (Depuis le CIRM)

Books & Print journals

Recherche avancée


0
Z