Modélisation et spécification formelle des logiciels /
Tremblay, Guy, 1958-
Modélisation et spécification formelle des logiciels / Guy Tremblay - Paris : Loze-Dion, 2000 - x, 597 p.; 24cm
2921180669
Logiciels-Modèles de conception
Logiciels-Spécifications
Méthodes formelles (Informatique)
Mô hình hóa Phần mềm thiết kế Khoa học máy tính
005.1 / TRE 2000
Modélisation et spécification formelle des logiciels / Guy Tremblay - Paris : Loze-Dion, 2000 - x, 597 p.; 24cm
2921180669
Logiciels-Modèles de conception
Logiciels-Spécifications
Méthodes formelles (Informatique)
Mô hình hóa Phần mềm thiết kế Khoa học máy tính
005.1 / TRE 2000