University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur LIPSCHUTZ,Seymour |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Transformation de Programmes / B Robnet
Titre : Transformation de Programmes : Colloque international sur la programmation Type de document : texte imprimé Auteurs : B Robnet ; LIPSCHUTZ,Seymour Mention d'édition : 3e éd. Editeur : Paris : Bordas Année de publication : 1978 Importance : 1 vol (426 p .) Format : 24 cm ISBN/ISSN/EAN : 978-2-04-010355-2 Note générale : 978-2-04-010355-2 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Technique de transformation de programme
ProgrammationIndex. décimale : 005.1 - Programmation Note de contenu :
Sommaire
Environnement de la programmation
Sachems de Control et Synchronisation
Analyses formelles de systemes
Arbres et programmation
Ttransformations de programms
Types de donnees
Optimisation et validation
Verification et correction
Côte titre : Fs/8722 Transformation de Programmes : Colloque international sur la programmation [texte imprimé] / B Robnet ; LIPSCHUTZ,Seymour . - 3e éd. . - Paris : Bordas, 1978 . - 1 vol (426 p .) ; 24 cm.
ISBN : 978-2-04-010355-2
978-2-04-010355-2
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Technique de transformation de programme
ProgrammationIndex. décimale : 005.1 - Programmation Note de contenu :
Sommaire
Environnement de la programmation
Sachems de Control et Synchronisation
Analyses formelles de systemes
Arbres et programmation
Ttransformations de programms
Types de donnees
Optimisation et validation
Verification et correction
Côte titre : Fs/8722 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8722 Fs/8722 livre Bibliothéque des sciences Français Disponible
Disponible