MARC record from Internet Archive

LEADER: 02215cam 2200553Mi 4500
001 ocn492524355
003 OCoLC
005 20220712094919.0
008 040415t20042004fr a f b 000 0 fre d
040 $aZWZ$bfre$encafnor$cZWZ$dCHRRO$dUQ1$dOCLCQ$dLVB$dOCLCQ$dOCLCO$dOCLCF$dOCLCO
020 $a2729819428$q(br)
020 $a9782729819422$q(br)
035 $a(OCoLC)492524355
050 4 $aQA76.62
055 4 $aQA 76.73 Z2 A553 2004
082 04 $a005.133$221
100 1 $aAndré, Pascal,$d(1967- ...)
245 10 $aExercices corrigés en langage Z$h[Texte imprimé] :$bles spécifications formelles par l'exemple /$cPascal André ... Alain Vailly ...
260 $aParis :$bEllipses,$cDL 2004.
300 $a1 vol. (II-243 p.) :$bfig. ;$c26 cm.
336 $atexte$btxt$2rdacontent/fre
337 $asans médiation$bn$2rdamedia/fre
490 1 $aTechnosup. Génie logiciel
504 $aBibliogr. p. [231].
521 $aEcoles d'ingénieurs, Maîtrise.
540 $aOuvrage.
650 0 $aObject-oriented programming languages.
650 0 $aZ (Computer program language)$vProblems, exercises, etc.
650 6 $aLangages orientés objet (Informatique)
650 6 $aZ (Langage de programmation)$vProblèmes et exercices.
650 7 $aObject-oriented programming languages.$2fast$0(OCoLC)fst01741387
650 7 $aZ (Computer program language)$2fast$0(OCoLC)fst01183966
650 7 $aZ (langage de programmation)$xProblèmes et exercices.$2ram
650 7 $aZ (langage de programmation)$xManuels d'enseignement supérieur.$2ram
650 7 $aGénie logiciel.$2ram
650 17 $aZ (Langage de programmation)$2rasuqam
650 7 $aZ (langage de programmation)$vmanuel.$2rero
655 2 $aProblems and Exercises
655 7 $aexercise books.$2aat
655 7 $aProblems and exercises.$2fast$0(OCoLC)fst01423783
655 7 $aProblems and exercises.$2lcgft
655 7 $aSolutionnaire (Descripteur de forme)$2rasuqam
655 7 $aProblèmes et exercices.$2rvmgf
700 1 $aVailly, Alain.
830 0 $aTechnosup.$pGénie logiciel.
029 0 $aZWZ$b077454650
029 1 $aCHRRO$bR003624774
994 $aZ0$bIME
948 $hNO HOLDINGS IN IME - 55 OTHER HOLDINGS