実時間システムに対する論理的仕様・検証言語の国際共同実装計画

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: 実時間システムに対する論理的仕様・検証言語の国際共同実装計画
Title Transcription: ジツジカンシステムニタイスルロンリテキシヨウケンショウゲンゴノコクサイキョウドウジッソウケイカク
Author/Editor: 岡田光弘, 慶應義塾大学 [著]
Author Heading: 著者：岡田, 光弘オカダ, ミツヒロ ( 01011069 )Authorities
慶応義塾大学ケイオウギジュクダイガク ( 00256814 )Authorities
Publication, Distribution, etc.: [岡田光弘]
Publication Date: 2001-2003
2004.3
Publication Date (W3CDTF): 2001
2003
Extent: 1冊
Additional Title: 研究種目基盤研究(B)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 線形論理 / 形式仕様 / 形式検証 / 実時間システムセンケイロンリ / ケイシキシヨウ / ケイシキケンショウ / ジツジカンシステム
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 13558031
Holding library: 国立国会図書館
Call No.: Y151-H13558031
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007597682
http://id.ndl.go.jp/bib/000007597682
Bibliographic Record Category (NDL): 214