-
RecordNumber
744
-
Author
Backhouse, Roland C.
-
Title
Construction et verification le programmes
-
Author Statement
Roland C. Backhouse
-
Publication
Masson
-
Publication Year
[1989]
-
Collation
276 p
-
Series
Manuels infermatiques masson
-
Subject
Computer software- Verfication
-
Main Class
005
-
Sub Class
.14
-
Cutter no
B126c
-
وارد كنندة اطلاعات
soltani^d//
-
Link To Document :
