非停止プロセスの抽象化と代数的仕様記述に関する基礎的研究

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: 坂部, 俊樹サカベ, トシキ
Publication Date: 1988-1989
Publication Date (W3CDTF): 1988
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: 非停止プロセスヒテイシプロセス
等式論理トウシキロンリ
代数的仕様記述ダイスウテキシヨウキジユツ
並行プロセスヘイコウプロセス
CCS CCS
木パターンマツチングモクパターンマツチング
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 63580025
Holding library: 国立国会図書館
Call No.: Y151-S63580025
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007036169
http://id.ndl.go.jp/bib/000007036169
Bibliographic Record Category (NDL): 214