Détail de l'éditeur
PRENTICE HALL INT
localisé à :
U.K
|
Documents disponibles chez cet éditeur (2)
Affiner la recherche Interroger des sources externes
CONSTRUCTION ET VERIFICATION DE PROGRAMMES / BACKHOUSE.R.C
Titre : CONSTRUCTION ET VERIFICATION DE PROGRAMMES : Manuels informatiques masson Type de document : texte imprimé Auteurs : BACKHOUSE.R.C, Auteur Editeur : U.K : PRENTICE HALL INT Année de publication : 1989 Importance : 276 P. Présentation : illus. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-81660-4 Note générale : INDEX.bibliographiques. Mots-clés : vérification.programmes Index. décimale : 005.1 Résumé : ce livre:une science de la programmation.le calcul propasitionnel.le calcul des orédicats. vérification.construction de prigrammes. CONSTRUCTION ET VERIFICATION DE PROGRAMMES : Manuels informatiques masson [texte imprimé] / BACKHOUSE.R.C, Auteur . - U.K : PRENTICE HALL INT, 1989 . - 276 P. : illus. ; 24 cm.
ISBN : 978-2-225-81660-4
INDEX.bibliographiques.
Mots-clés : vérification.programmes Index. décimale : 005.1 Résumé : ce livre:une science de la programmation.le calcul propasitionnel.le calcul des orédicats. vérification.construction de prigrammes. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité R01220 E000-005.1-02/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible OUTILS LOGICIELS POUR LA PROGRAMMATION SYSTEME / BIGGERSTAFF.T.G
Titre : OUTILS LOGICIELS POUR LA PROGRAMMATION SYSTEME Type de document : texte imprimé Auteurs : BIGGERSTAFF.T.G, Auteur Editeur : U.K : PRENTICE HALL INT Année de publication : 1989 Importance : 357P. Présentation : illus. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-81539-3 Note générale : index. Mots-clés : outils logiciels.programmation systeme. Index. décimale : 005.1 Résumé : cet ouvrage est conçu tant pour l'apprentissage de la programmation systeme que puor aider a la conception et a la réalisation de logiciels systèmes.En effet il ne contient pas seulement une présentation des concepts fondamentaux de ce type de logiciel mais il détaille également la mise en oeuvre de deux programmes caratéristiques de ce type d'applications; un simulateur de terminaix et un programme de gestion de fenètrage multitache. OUTILS LOGICIELS POUR LA PROGRAMMATION SYSTEME [texte imprimé] / BIGGERSTAFF.T.G, Auteur . - U.K : PRENTICE HALL INT, 1989 . - 357P. : illus. ; 24 cm.
ISBN : 978-2-225-81539-3
index.
Mots-clés : outils logiciels.programmation systeme. Index. décimale : 005.1 Résumé : cet ouvrage est conçu tant pour l'apprentissage de la programmation systeme que puor aider a la conception et a la réalisation de logiciels systèmes.En effet il ne contient pas seulement une présentation des concepts fondamentaux de ce type de logiciel mais il détaille également la mise en oeuvre de deux programmes caratéristiques de ce type d'applications; un simulateur de terminaix et un programme de gestion de fenètrage multitache. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité E01799 E000-005.1-01/ 02 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible E01798 E000-005.1-01/ 02 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible