Using rewriting techniques to produce code-generators and proving them correct (Record no. 118815)

005 - numéro d'identification de la version
identification de la version 20190527220532.0
009 - PPN
PPN 016585364
035 ## -
-- 3411
035 ## -
-- ocm27664502
035 ## -
-- 771862302
-- 118815
099 ## - Informations locales
date creation notice (koha) 2009-07-20
date modification notice (koha) 2019-05-27
100 ## - données générales de traitement
données générales de traitement 19930304d1989 u y0frey50 ba
200 1# - titre
Titre propre Using rewriting techniques to produce code-generators and proving them correct
Auteur principal Annie Despland, Monique Mazaud, Raymond Rakotozafy
210 ## - éditeur
Lieu de publication Le Chesnay, France
Nom de l'éditeur Institut National de Recherche en Informatique et en Automatique
Date de publication 1989
215 ## - description
Caractéristiques matérielles 31 p.
Format 30 cm
320 ## - note
texte de la note Bibliogr. : pp. 30-31.
517 ## - autres variantes du titre
Variante du titre Production et preuve de générateurs de code par techniques de réécriture
606 ## - Mot Matière
Numéro de notice d'autorité 028933478
Element d'entrée Réécriture, Systèmes de (informatique)
Code du système d'indexation rameau
606 ## - Mot Matière
Numéro de notice d'autorité 027282201
Element d'entrée Arbres (théorie des graphes)
Code du système d'indexation rameau
610 ## - sujets
sujet TYPE ABSTRAIT
610 ## - sujets
sujet SYSTEME DE REECRITURE
610 ## - sujets
sujet SPECIFICATION
610 ## - sujets
sujet COMPILATION
615 ## - catégorie sujet
Catégorie H-LOGICIEL
676 ## - classification
indice Dewey 004
606 ## - Mot Matière
-- ba0yba0y
Element d'entrée Compilateurs (logiciels)
Numéro de notice d'autorité 028889533
Code du système d'indexation rameau
700 #1 - auteur
Nom de l'auteur Despland
Prénom Annie
701 #1 - coauteur
élément d'entrée Mazaud
partie du nom autre que l'élément d'entrée Monique
code de fonction Auteur
701 #1 - coauteur
élément d'entrée Rakotozafy
partie du nom autre que l'élément d'entrée Raymond
code de fonction Auteur
801 #3 - source de catalogage
Date de la transaction 20080401
930 ## -
-- 771862302:423110799
-- 771862302
-- EM AI CI6361
-- g
991 ## -
-- 771862302:423110799
-- exemplaire créé automatiquement par l'ABES
995 ## - Exemplaires
-- EM AI CI6361
Holdings
Perdu Origine geographique du document Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique EM AI CI6361 Sur demande Centre de Recherche en Informatique

Powered by Koha