Détail de l'auteur
Auteur jean françois monin |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche
Comprendre les méthodes formelles / jean françois monin
Titre : Comprendre les méthodes formelles : Panorama et outils logiques Type de document : texte imprimé Auteurs : jean françois monin, Auteur Editeur : Paris : Masson Année de publication : 1996 Collection : Collection technique et scientifique des télécommunications Importance : 306 p. Présentation : ill. Format : 16 x 24 cm ISBN/ISSN/EAN : 978-2-225-85304-3 Note générale : Tables des matières Langues : Français (fre) Comprendre les méthodes formelles : Panorama et outils logiques [texte imprimé] / jean françois monin, Auteur . - Paris : Masson, 1996 . - 306 p. : ill. ; 16 x 24 cm. - (Collection technique et scientifique des télécommunications) .
ISBN : 978-2-225-85304-3
Tables des matières
Langues : Français (fre)Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité FTM27497 621.621.61.48 Livre magasin d'ouvrages 621.621.61. Exclu du prêt Introduction aux méthodes formelles / jean françois monin
Titre : Introduction aux méthodes formelles Type de document : texte imprimé Auteurs : jean françois monin, Auteur Mention d'édition : 2e éd. Editeur : Paris : Hermès science publications, Année de publication : 2000 Collection : Collection technique et scientifique des télécommunications Importance : 352 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-7462-0140-8 Note générale : Index Langues : Français (fre) Mots-clés : génie logiciel Index. décimale : 005.3510 Résumé : Présentation des bases théoriques et des fondements mathématiques de la spécification formelle. Revue des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Explication de la mise en œuvre des techniques mathématiques sur des outils effectifs. Étude des systèmes de transition et de la logique temporelle. Introduction aux méthodes formelles [texte imprimé] / jean françois monin, Auteur . - 2e éd. . - Paris : Hermès science publications,, 2000 . - 352 p. ; 24 x 16 cm. - (Collection technique et scientifique des télécommunications) .
ISBN : 978-2-7462-0140-8
Index
Langues : Français (fre)
Mots-clés : génie logiciel Index. décimale : 005.3510 Résumé : Présentation des bases théoriques et des fondements mathématiques de la spécification formelle. Revue des techniques générales de la spécification, du développement modulaire de logiciel par raffinements progressifs et de la preuve formelle. Explication de la mise en œuvre des techniques mathématiques sur des outils effectifs. Étude des systèmes de transition et de la logique temporelle. Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité FTM30951 510.511.03 Livre magasin d'ouvrages 510.511. Principes généraux maths Exclu du prêt