Introduction aux méthodes formelles / Jean-François Monin

Public ISBD Aucun avis sur cette notice. 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

---

1 (1 - 1 / 1) Par page : 25 50 100 200