Détail d'une collection
Collection technique et scientifique des télécommunications
Editeur :
ISSN :
pas d'ISSN
|
Documents disponibles dans la collection (1)
Affiner la recherche
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