Catalogue en ligne <a href='https://www.univ-usto.dz/faculte/fac-mecanique/bibliotheque/' target=_blank>Université des sciences et de la technologie Bibliothèque IGCMO Faculté de Génie mécanique et Génie maritime</a>

Bibliothèque de Faculté de Génie Mécanique IGCMO

faculté de Génie Mecanique SndL IQRAA

Nouvelle recherche

Auteur G Gésaroni

Documents disponibles écrits par cet auteur (1)

Affiner la recherche Interroger des sources externes

Programmation : outils algébriques / F.H Raymond

Public

ISBD

Titre : Programmation : outils algébriques
Type de document : texte imprimé
Auteurs : F.H Raymond, Auteur ; G Gésaroni, Auteur
Editeur : Masson
Année de publication : 1982
Importance : 428p
Présentation : ill
Format : 22cmx15cm
ISBN/ISSN/EAN : 2-903-60701-6
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique:02 Logiciels et Programmation

Mots-clés : rappels,conventions algèbre abstraites algèbre formelles calcul propositionnel calcul des prédicats généralités sur les fonctions algèbres de programmes calcul sur les programmes .

Programmation : outils algébriques [texte imprimé] / F.H Raymond, Auteur ; G Gésaroni, Auteur . - Masson, 1982 . - 428p : ill ; 22cmx15cm.
ISSN : 2-903-60701-6
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Informatique:02 Logiciels et Programmation

Mots-clés : rappels,conventions algèbre abstraites algèbre formelles calcul propositionnel calcul des prédicats généralités sur les fonctions algèbres de programmes calcul sur les programmes .

Réservation
Réserver ce document

Exemplaires(1)

Code-barres numéro d'inventaire Cote Support Localisation Section Disponibilité

9335/3 08-02-0107 Livre Bibliothèque IGCMO Documentaires Disponible