Aspect A Formal Specification Language for Detecting Bugs

Notes on use

Search by Bookstore

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

Material Type: 博士論文
Title: Aspect A Formal Specification Language for Detecting Bugs
Author/Editor: Jackson, Daniel Nicholas.
Author Heading: Jackson, Daniel Nicholas.
Publication, Distribution, etc.: Cambridge : Massachusetts Institute of Technology
Publication Date: 1992.
Extent: 162 p.
Degree grantor/type: Massachusetts Institute of Technology
Date Granted: 1992.
Date Granted (W3CDTF): 1992
Note (Dissertation): 博士論文
Thesis (doctoral) --Massachusetts Institute of Technology, 1992.
Place of Publication (Country Code): US
Text Language Code: eng
Note (Material Type): [microform]
Note (General): Microfiche.
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: LS-DI-MIT-92-168
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003377446
http://id.ndl.go.jp/bib/000003377446
Bibliographic Record Category (NDL): 216