RecordNumber
43687
Author
Ed.: Robert Kurshan
Title
Computer-aided verification
Publication
Kluwer Academic Pablishers
Publication Year
1993
Collation
142
نام فايل
IUST eb-117 -- eb117d4
Link To Document :
http://dl.iust.ac.ir/dL/search/default.aspx?Term=43687&Field=0&DTC=2
All Rights Reserved To Payam Mashregh Company
