構成的プログラミングを実現する証明、検証、合成システム

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: 著者：佐藤, 雅彦, 1947- サトウ, マサヒコ, 1947- ( 00068238 )Authorities
Publication Date: 1994-1995
Publication Date (W3CDTF): 1994
Extent: 冊
Additional Title: 研究種目一般研究(B)
Subject Heading: 構成的プログラミングコウセイテキプログラミング
構成的論理コウセイテキロンリ
証明システムシヨウメイシステム
関数型プログラム言語カンスウガタプログラムゲンゴ
代入文ダイニユウブン
遅延評価チエンヒヨウカ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 06452387
Holding library: 国立国会図書館
Call No.: Y151-H06452387
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006996269
http://id.ndl.go.jp/bib/000006996269
Bibliographic Record Category (NDL): 214