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