DocumentCode
29904
Title
Formal specification of a specification library
Author
John V. Guttag. استاد راهنما
University
DSpace MIT Libraries
Grade
نامعلوم
Major
Thesis )M.S.(
Number of pages
0
Publish Date
1982
Keyword
Electrical Engineering and Computer Science
Note
01
Language
انگليسي
Link To Document