Modélisation et spécification formelle des logiciels /
Afficher la notice simple
| dc.contributor.author |
Tremblay, Guy, 1958- |
fr |
| dc.date.accessioned |
2015-11-06T15:39:28Z |
|
| dc.date.available |
2015-11-06T15:39:28Z |
|
| dc.date.issued |
2000 |
fr |
| dc.identifier.isbn |
2921180669 (br.) |
fr |
| dc.identifier.other |
cdc021340 |
fr |
| dc.identifier.uri |
http://eduq.info/xmlui/handle/11515/14508 |
|
| dc.description |
Bibliogr.: p. 598-605 |
fr |
| dc.description |
Index: p. 605-608 |
fr |
| dc.format.extent |
597, 14 p. : ill. ; 22 cm |
fr |
| dc.format.medium |
Ressource physique |
fr |
| dc.language.iso |
fre |
fr |
| dc.publisher |
Loze-Dion, |
fr |
| dc.subject |
Logiciel |
fr |
| dc.subject |
Élaboration de logiciels |
fr |
| dc.subject |
Informatique |
fr |
| dc.subject |
Langage de programmation |
fr |
| dc.title |
Modélisation et spécification formelle des logiciels / |
fr |
| dc.type |
Livre |
fr |
Fichier(s) pour ce document
|
Ce document est en format papier. Contactez-nous pour l'emprunter : info@cdc.qc.ca
|
Ce document provient de la/les collection(s) suivante(s)
Afficher la notice simple