Technique et Science informatiques. RSTI série TSI, 7. Approches formelles pour le développement de logiciels / Jézequel, J.- M.

Public ISBD Titre de série : Technique et Science informatiques. RSTI série TSI, 7 Titre : Approches formelles pour le développement de logiciels Type de document : texte imprimé Auteurs : Jézequel, J.- M. ; Souquières, J. Mention d'édition : Hermes/Lavoisier Editeur : Hermes/Lavoisier Année de publication : 2004 ISBN/ISSN/EAN : 978-2-7462-1016-5 Langues : Français (fre) Mots-clés : Carte à puce  Validation  Théorie des ensembles  Test de conformité  Traduction adaptable Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Technique et Science informatiques. RSTI série TSI, 7. Approches formelles pour le développement de logiciels [texte imprimé] / Jézequel, J.- M. ; Souquières, J.  . -  Hermes/Lavoisier . - Hermes/Lavoisier, 2004. ISBN : 978-2-7462-1016-5 Langues : Français (fre) Mots-clés : Carte à puce  Validation  Théorie des ensembles  Test de conformité  Traduction adaptable Index. décimale : 005 Programmation, programmes, organisation des données, logiciel

Réservation

Réserver ce document

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
&)àà&'è(ç	ER 6827	Monographie	Bibliothèque CDI-Ouaga	Fond documentaire	Disponible

---

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