Jump to main content
博士論文

Formal Specification Techniques for Promoting Software Modularity, Enhancing Documentation, and Testing Specifications

Icons representing 博士論文

Formal Specification Techniques for Promoting Software Modularity, Enhancing Documentation, and Testing Specifications

Call No. (NDL)
LS-DIMIT-94-358
Bibliographic ID of National Diet Library
000003376470
Material type
博士論文
Author
Tan, Yang Meng.
Publisher
Massachusetts Institute of Technology
Publication date
1994.
Material Format
Microform
Capacity, size, etc.
2 microfiches (175 fr.) : negative, ill.
Name of awarding university/degree
Massachusetts Institute of Technology
View All

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Microform

Material Type
博士論文
Author/Editor
Tan, Yang Meng.
Author Heading
Publication Date
1994.
Extent
2 microfiches (175 fr.) : negative, ill.
Degree grantor/type
Massachusetts Institute of Technology
Date Granted
1994.
Date Granted (W3CDTF)
1994