Résultat de la recherche
1 recherche sur le tag 'logique mathématique'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Introduction aux méthodes formelles / Jean-François Monin
Titre : Introduction aux méthodes formelles Type de document : ouvrage Auteurs : Jean-François Monin, Auteur Mention d'édition : 2e édition Editeur : Hermès Science : Lavoisier Année de publication : 2000 Importance : 351 p. ISBN/ISSN/EAN : 978-2-7462-0140-8 Langues : Français (fre) Tags : Méthodes formelles Logique mathématique Conception de systèmes Génie logiciel Logiciels (développement) Niveau : Recherche Type : Ouvrage Publication de Théma : Non Introduction aux méthodes formelles [ouvrage] / Jean-François Monin, Auteur . - 2e édition . - Hermès Science : Lavoisier, 2000 . - 351 p.
ISBN : 978-2-7462-0140-8
Langues : Français (fre)
Tags : Méthodes formelles Logique mathématique Conception de systèmes Génie logiciel Logiciels (développement) Niveau : Recherche Type : Ouvrage Publication de Théma : Non Réservation
Réserver ce document
Exemplaires(1)
Code-barres Cote Support Section Disponibilité 1149847781 A20.MON Livre Centre de Documentation Disponible