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