Pre- and post-conditions expressed in variants of the modal μ-calculus : 不動点演算子を持つ様相論理で表現された最弱事前条件と最強事後条件 (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2008-9)

Pre- and post-conditions expressed in variants of the modal μ-calculus : 不動点演算子を持つ様相論理で表現された最弱事前条件と最強事後条件

(Programming science technical report = 算譜科学研究速報 ; AIST-PS-2008-9)

Call No. (NDL): M159-B69
Bibliographic ID of National Diet Library: 000009413143

Material type: 図書

Author: [by] Yoshinori Tanabe [et al.]

Publisher: Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology

Publication date: 2008.4

Material Format: Paper

Capacity, size, etc.: 11 p. ; 30 cm

NDC: -

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.

Paper

Material Type: 図書
Title: Pre- and post-conditions expressed in variants of the modal μ-calculus : 不動点演算子を持つ様相論理で表現された最弱事前条件と最強事後条件
Title Transcription: Pre- and post-onditions expressed in variants of the modal mu-calculus : フドウテンエンザンシオモツヨウソウロンリデヒョウゲンサレタサイジャクジゼンジョウケントサイキョウジゴジョウケン
Author/Editor: [by] Yoshinori Tanabe [et al.]
Series Title: Programming science technical report = 算譜科学研究速報 ; AIST-PS-2008-9
Author/Editor (Series Title): 産業技術総合研究所 (システム検証研究センター) 編
Publication, Distribution, etc.: Toyonaka : Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology
Publication Date: 2008.4
Publication Date (W3CDTF): 2008
Extent: 11 p.
Size: 30 cm
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M159
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: M159-B69
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009413143
http://id.ndl.go.jp/bib/000009413143
National Bibliography No. (JPNO): 21458097
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113