TY  - BOOK
AU  - Tremblay,Guy
TI  - Modélisation et spécification formelle des logiciels
SN  - 2921180669
U1  - 005.1 14
PY  - 2000///
CY  - Paris
PB  - Loze-Dion
KW  - Logiciels-Modèles de conception
KW  - Logiciels-Spécifications
KW  - Méthodes formelles (Informatique)
KW  - Mô hình hóa
KW  - Phần mềm thiết kế
KW  - Khoa học máy tính
ER  -