|
|
|
|
| LEADER |
01081nam a22002657a 4500 |
| 001 |
409382 |
| 008 |
040415s2004 xxe ||| |||| 00| 0 fre d |
| 009 |
PPN077454650 |
| 020 |
|
|
|a 2729819428 (br.) :
|c 27,50 EUR
|
| 024 |
|
|
|a 9782729819422
|
| 041 |
0 |
|
|a fre
|
| 082 |
|
|
|a 005.133
|
| 084 |
|
|
|a D.3
|
| 100 |
1 |
|
|a André, Pascal,
|d 1967-....,
|c chercheur en informatique.
|
| 245 |
1 |
0 |
|a Exercices corrigés en langage Z :
|b les spécifications formelles par l'exemple
|c Pascal André,... Alain Vailly,...
|
| 260 |
|
|
|a Paris :
|b Ellipses,
|c DL 2004.
|
| 300 |
|
|
|a 1 vol. (II-243 p.) :
|b Ill. ;
|c 26 cm.
|
| 490 |
1 |
|
|a Technosup. Génie logiciel : les filières technologiques des enseignements supérieurs
|
| 504 |
|
|
|a Bibliogr. p. [231]
|
| 521 |
|
|
|a Ecoles d'ingénieurs, Maîtrise
|
| 650 |
|
|
|a Z (méthode formelle)
|x Problèmes et exercices
|
| 650 |
|
|
|a Z (méthode formelle)
|x Manuels d'enseignement supérieur
|
| 650 |
|
|
|a Génie logiciel
|
| 700 |
1 |
|
|a Vailly, Alain.
|4 aut
|
| 997 |
|
|
|0 409382
|1 Livre papier
|a Ressource papier
|b INSA
|c 0/Bourges/
|c 1/Bourges/INSA CVL/
|z Bourges, INSA CVL, 005.1 AND
|
