Exercices corrigés en langage Z
Subtitle: les spécifications formelles par l'exemple
By: Pascal André ... Alain Vailly ...
Contributors: Vailly, Alain
Series: Technosup. Génie logiciel; Technosup
Publisher: Ellipses
Published: 2004
Place of publication: Paris
Language: fre
Format: [Texte imprimé] :
Number of pages: 243
ISBN-13: 9782729819422
Copyright date: 2004
Subjects: Object-oriented programming languages; Z (Computer program language); Problems, exercises; Langages orientés objet (Informatique); Z (Langage de programmation); Problèmes et exercices; Z (langage de programmation); Manuels d'enseignement supérieur; Génie logiciel; Manuel
Notes: Bibliogr. p. [231].

Ecoles d'ingénieurs, Maîtrise.

Ouvrage.