|
|
|
|
| LEADER |
01673cam a2200397 4500 |
| 001 |
PPN077454650 |
| 003 |
http://www.sudoc.fr/077454650 |
| 005 |
20240820065000.0 |
| 010 |
|
|
|a 2-7298-1942-8
|b br.
|d 27,50 EUR
|
| 035 |
|
|
|a (OCoLC)492524355
|
| 073 |
|
0 |
|a 9782729819422
|
| 100 |
|
|
|a 20040415d2004 k y0frey0103 ba
|
| 101 |
0 |
|
|a fre
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a a a 000yy
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Exercices corrigés en langage Z
|b Texte imprimé
|e les spécifications formelles par l'exemple
|f Pascal André,... Alain Vailly,...
|
| 210 |
|
|
|a Paris
|c Ellipses
|d DL 2004
|
| 215 |
|
|
|a 1 vol. (II-243 p.)
|c fig.
|d 26 cm
|
| 225 |
2 |
|
|a Technosup
|i Génie logiciel
|e les filières technologiques des enseignements supérieurs
|
| 320 |
|
|
|a Bibliogr. p. [231]
|
| 333 |
|
|
|a Ecoles d'ingénieurs, Maîtrise
|
| 410 |
|
| |
|0 069333637
|t Technosup
|i Génie logiciel
|b Texte imprimé
|o les filières technologiques des enseignements supérieurs
|f [dir. par Claude Chèze]
|c Paris
|n Ellipses
|d [2001?]-
|s Technosup
|
| 606 |
|
|
|3 PPN031352812
|a Z (méthode formelle)
|3 PPN027790517
|x Problèmes et exercices
|2 rameau
|
| 606 |
|
|
|3 PPN031352812
|a Z (méthode formelle)
|3 PPN03020934X
|x Manuels d'enseignement supérieur
|2 rameau
|
| 606 |
|
|
|3 PPN027673529
|a Génie logiciel
|2 rameau
|
| 676 |
|
|
|a 005.133
|v 21
|
| 680 |
|
|
|a QA76.62
|
| 686 |
|
|
|a D.3
|2 acm
|
| 700 |
|
1 |
|3 PPN055750931
|a André
|b Pascal
|f 1967-....
|c chercheur en informatique
|4 070
|
| 701 |
|
1 |
|3 PPN055750966
|a Vailly
|b Alain
|4 070
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20111212
|g AFNOR
|
| 930 |
|
|
|5 441092105:202286614
|b 441092105
|a 005.133 Z
|j u
|
| 930 |
|
|
|5 441092104:468031316
|b 441092104
|a 681.324 Z-AND
|j u
|
| 979 |
|
|
|a SCI
|
| 998 |
|
|
|a 379112
|
Nantilus
