Détail de l'auteur
Auteur JEAN-FRANCOIS MONIN |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
COMPRENDRE LES METHODES FORMELLES.PANORAMA ET OUTILS LOGIQUES / MONIN.J.F
Titre : COMPRENDRE LES METHODES FORMELLES.PANORAMA ET OUTILS LOGIQUES Type de document : texte imprimé Auteurs : MONIN.J.F, Auteur Editeur : PARIS : MASSON Année de publication : 1996 ISBN/ISSN/EAN : 2-225-85304-5 Langues : (FRE) Index. décimale : 530.15 COMPRENDRE LES METHODES FORMELLES.PANORAMA ET OUTILS LOGIQUES [texte imprimé] / MONIN.J.F, Auteur . - PARIS : MASSON, 1996.
ISBN : 2-225-85304-5
Langues : (FRE)
Index. décimale : 530.15 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 530-530.15-10/01-1 530-530.15-10/01-1 Livre مخزن الكتب 004 معالجة البيانات علم الحاسوب Disponible INTRODUCTION AUX METHODES FORMELLES / JEAN-FRANCOIS MONIN
Titre : INTRODUCTION AUX METHODES FORMELLES Type de document : texte imprimé Auteurs : JEAN-FRANCOIS MONIN, Auteur Editeur : PARIS : HERMES SCIENCE PUBLICATIONS Année de publication : 2000 Importance : 352 p. Présentation : COUV,ILL.ILL. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-0140-8 Note générale : BIBLIOGR. INDEX Langues : Français (fre) Mots-clés : ORGANISATION DES DONNEES. CONCEPTION DES LOGICIELS Index. décimale : 005.5 Résumé : PRESENTATION DES BASES THEORIQUES ET DES FONDEMENTS MATHEMATIQUES DE LA SPECIFICATION FORMELLE. REVUE DES TECHNIQUES GENERALES DE LA SPECIFICATION, DU DEVELOPPEMENT MODULAIRE DE LOGICIEL PAR RAFFINEMENTS PROGRESSIFS ET DE LA PREUVE FORMELLE. EXPLICATION DE LA MISE EN OEUVRE EFFECTIFS. ETUDE DES SYSTEMES DE TRANSITION ET DE LA LOGIQUE TEMPORELLE.. PROFESSIONNEL, SPECIALISTE.3e CYCLE-RECHERCHE. INTRODUCTION AUX METHODES FORMELLES [texte imprimé] / JEAN-FRANCOIS MONIN, Auteur . - PARIS : HERMES SCIENCE PUBLICATIONS, 2000 . - 352 p. : COUV,ILL.ILL. ; 24 cm.
ISBN : 978-2-7462-0140-8
BIBLIOGR. INDEX
Langues : Français (fre)
Mots-clés : ORGANISATION DES DONNEES. CONCEPTION DES LOGICIELS Index. décimale : 005.5 Résumé : PRESENTATION DES BASES THEORIQUES ET DES FONDEMENTS MATHEMATIQUES DE LA SPECIFICATION FORMELLE. REVUE DES TECHNIQUES GENERALES DE LA SPECIFICATION, DU DEVELOPPEMENT MODULAIRE DE LOGICIEL PAR RAFFINEMENTS PROGRESSIFS ET DE LA PREUVE FORMELLE. EXPLICATION DE LA MISE EN OEUVRE EFFECTIFS. ETUDE DES SYSTEMES DE TRANSITION ET DE LA LOGIQUE TEMPORELLE.. PROFESSIONNEL, SPECIALISTE.3e CYCLE-RECHERCHE. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité E05360 E000-005.5-02/ 01 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible E07092 E000-005.5-02/ 02 Livre قاعة العلوم والتكنولوجيا والطب والعلوم الطبيعة والحياة 005 Organisation des données, programmation des ordinateurs, programmes Disponible