Approches formelles pour le développement de logiciels / Jean-Marc Jézéquel

Public ISBD Titre : Approches formelles pour le développement de logiciels : préparé suite à l'atelier AFADL'2003 tenu à Rennes en janvier 2003 Type de document : texte imprimé Auteurs : Jean-Marc Jézéquel, Directeur de publication ; Jeanine Souquières, Directeur de publication Editeur : Paris : Hermès Science Publications Année de publication : 2004 Autre Editeur : Paris : Éditions Lavoisier Collection : TSI. Technique et science informatiques num. 23 Importance : 850-956 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-1016-5 Langues : Français (fre) Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Méthodes formelles (informatique)  Logiciels-Développement  Actes de congrès Approches formelles pour le développement de logiciels : préparé suite à l'atelier AFADL'2003 tenu à Rennes en janvier 2003 [texte imprimé] / Jean-Marc Jézéquel, Directeur de publication ; Jeanine Souquières, Directeur de publication . - Paris : Hermès Science Publications : Paris : Éditions Lavoisier, 2004 . - 850-956 p. ; 24 cm.. - (TSI. Technique et science informatiques; 23) . ISBN : 978-2-7462-1016-5 Langues : Français (fre) Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Méthodes formelles (informatique)  Logiciels-Développement  Actes de congrès

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
005.1.801-1	005.1.801-1	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible

---

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