m

Documents  Critères de recherche : "Lectures on the logic of computer programming" | enregistrements trouvés : 1

O
     

-A +A

P Q

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

- 49 p.
ISBN 978-0-89871-164-6

CBMS-NSF regional conference series in applied mathematics , 0031

Localisation : Collection 1er étage

annotation de programme systèmatique # correction partielle ou totale # logique de programmation informatique # synthèse de programme # terminaison de système de production

68N17 ; 68Nxx

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z