RecordNumber
44093
Author
Cornelis A. Middleburg
Title
Logic & specification extending VDM_SL for advanced formal specification
Publication
Chapman & Hall Computing
Publication Year
1993
Collation
406
نام فايل
IUST eb-131 -- eb131d19
Link To Document :
http://dl.iust.ac.ir/dL/search/default.aspx?Term=44093&Field=0&DTC=2
All Rights Reserved To Payam Mashregh Company
