Détail de l'auteur
Auteur BACKHOUSE.R.C |
Documents disponibles écrits par cet auteur (1)
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