|
|
|
|
| LEADER |
02596cmm a2200685 i 4500 |
| 001 |
ebook-170241556 |
| 005 |
20221201113646.0 |
| 007 |
cr|cuu---auauu |
| 008 |
130625s2006||||fr ||||g|||d ||||||fre d |
| 020 |
|
|
|a 9782923565248
|
| 035 |
|
|
|a (OCoLC)800778459
|
| 035 |
|
|
|a FRCYB45006865
|
| 035 |
|
|
|a FRCYB07445006865
|
| 035 |
|
|
|a FRCYB56745006865
|
| 035 |
|
|
|a FRCYB08245006865
|
| 035 |
|
|
|a FRCYB09845006865
|
| 035 |
|
|
|a FRCYB11845006865
|
| 035 |
|
|
|a FRCYB14045006865
|
| 035 |
|
|
|a FRCYB17045006865
|
| 035 |
|
|
|a FRCYB20145006865
|
| 035 |
|
|
|a FRCYB24245006865
|
| 035 |
|
|
|a FRCYB24845006865
|
| 035 |
|
|
|a FRCYB26045006865
|
| 035 |
|
|
|a FRCYB26845006865
|
| 035 |
|
|
|a FRCYB27445006865
|
| 035 |
|
|
|a FRCYB29145006865
|
| 035 |
|
|
|a FRCYB29545006865
|
| 035 |
|
|
|a FRCYB42545006865
|
| 035 |
|
|
|a FRCYB55445006865
|
| 035 |
|
|
|a FRCYB55945006865
|
| 035 |
|
|
|a FRCYB04145006865
|
| 035 |
|
|
|a FRCYB57145006865
|
| 040 |
|
|
|a ABES
|b fre
|e AFNOR
|
| 041 |
0 |
|
|a fre
|2 639-2
|
| 100 |
1 |
|
|0 (IdRef)090173910
|1 http://www.idref.fr/090173910/id
|a Tremblay, Guy
|d (1958-....).
|4 aut.
|e Auteur
|
| 245 |
1 |
0 |
|a Modélisation et spécification formelle des logiciels
|c Guy Tremblay.
|
| 256 |
|
|
|a Données textuelles.
|
| 260 |
|
|
|a Québec :
|b Loze-Dion éditeur,
|c 2006.
|
| 336 |
|
|
|b txt
|2 rdacontent
|
| 337 |
|
|
|b c
|2 rdamedia
|
| 337 |
|
|
|b b
|2 isbdmedia
|
| 338 |
|
|
|b ceb
|2 RDAfrCarrier
|
| 500 |
|
|
|a Titre provenant de la page de titre du document numérique.
|
| 500 |
|
|
|a Numérisation de l'édition de Québec : Loze-Dion éditeur, 2006.
|
| 500 |
|
|
|a La pagination de l'édition imprimée correspondante est de 639 p.
|
| 506 |
|
|
|a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition
|
| 516 |
|
|
|a Fichier html.
|
| 538 |
|
|
|a Configuration requise : navigateur internet.
|
| 650 |
|
0 |
|a Computer programs.
|2 lc
|
| 650 |
|
0 |
|a Formal methods (Computer science).
|2 lc
|
| 650 |
|
0 |
|a Logiciels.
|2 lc
|
| 650 |
|
0 |
|a Logiciels
|x Modèles de conception.
|2 lc
|
| 650 |
|
0 |
|a Méthodes formelles (Informatique).
|2 lc
|
| 650 |
|
0 |
|a Software patterns.
|2 lc
|
| 776 |
0 |
|
|t Modélisation et spécification formelle des logiciels / Guy Tremblay
|b Edition revue et augmentée
|d Longueuil (Quebec) : Loze-Dion Editeur, 2004
|h 1 vol. (629 p.)
|z 2-921180-82-0
|w (ABES)090205006
|
| 856 |
|
|
|u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/45006865
|w Données éditeur
|z Accès à l'E-Book
|
| 886 |
2 |
|
|2 unimarc
|a 181
|a i#
|b xxxe##
|
| 993 |
|
|
|a E-Book
|
| 994 |
|
|
|a BNUM
|
| 995 |
|
|
|a 170241556
|