Exercices corrigés en langage Z / Pascal André

Public ISBD Titre : Exercices corrigés en langage Z : génie logiciel ; les spécifications formelles par l'exemple Type de document : texte imprimé Auteurs : Pascal André (1967-....), Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2004 Collection : Technosup ISBN/ISSN/EAN : 978-2-7298-1942-2 Catégories : Informatique Informatique:programmes Informatique:programmes:Langages de programmation Mots-clés : Z (langage de programmation)  Problèmes et exercices  Méthodes formelles (informatique) Index. décimale : 005.133 Langages de programmation spécifiques Exercices corrigés en langage Z : génie logiciel ; les spécifications formelles par l'exemple [texte imprimé] / Pascal André (1967-....), Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2004. - (Technosup) . ISBN : 978-2-7298-1942-2 Catégories : Informatique Informatique:programmes Informatique:programmes:Langages de programmation Mots-clés : Z (langage de programmation)  Problèmes et exercices  Méthodes formelles (informatique) Index. décimale : 005.133 Langages de programmation spécifiques

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9782729819422MIT001	005.133/194	Livre	Maths&Informatique	Fonds informatique	Disponible
9782729819422MIT002	005.133/194	Livre	Maths&Informatique	Fonds informatique	Disponible

---

1 (1 - 1 / 1)