|
|
|
|
| LEADER |
01374nam a22003137a 4500 |
| 001 |
ebook-170241556 |
| 008 |
130625s2006 xxg ||| |||| 00| 0 fre d |
| 020 |
|
|
|a 9782923565248
|
| 041 |
0 |
|
|a fre
|
| 100 |
1 |
|
|a Tremblay, Guy,
|d 1958-
|
| 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.
|
| 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.
|
| 500 |
|
|
|a Type of computer file: Fichier html
|
| 538 |
|
|
|a Configuration requise : navigateur internet
|
| 650 |
|
|
|a Computer programs
|
| 650 |
|
|
|a Formal methods (Computer science)
|
| 650 |
|
|
|a Logiciels
|
| 650 |
|
|
|a Logiciels
|x Modèles de conception
|
| 650 |
|
|
|a Méthodes formelles (Informatique)
|
| 650 |
|
|
|a Software patterns
|
| 776 |
0 |
|
|0 090205006
|t Modélisation et spécification formelle des logiciels
|f Guy Tremblay
|e Edition revue et augmentée
|c Longueuil (Quebec)
|n Loze-Dion Editeur
|d DL 2004
|p 1 vol. (629 p.)
|z 2-921180-82-0
|
| 856 |
4 |
|
|u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/45006865
|z Accès à l'E-book
|
| 993 |
|
|
|a E-Book
|
| 994 |
|
|
|a BNUM
|
| 995 |
|
|
|a 170241556
|