RecordNumber
732
Author
Gerard J. Holzmann
Title
Design and validation of computer protocols
Publication
Prentice-Hall
Publication Year
1991
Collation
494
ISBN
0135398347
Link To Document :
http://dl.iust.ac.ir/dL/search/default.aspx?Term=732&Field=0&DTC=11
All Rights Reserved To Payam Mashregh Company
