高信頼性Webアプリケーション構築のための振舞い検証モデル

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: 高信頼性Webアプリケーション構築のための振舞い検証モデル
Title Transcription: コウシンライセイ Web アプリケーションコウチクノタメノフルマイケンショウモデル
Author/Editor: 結縁祥治, 名古屋大学 [著]
Author Heading: 結縁, 祥治ユウエン, ショウジ
名古屋大学ナゴヤダイガク
Publication, Distribution, etc.: [結縁祥治]
Publication Date: 2004-2006
2007.3
Publication Date (W3CDTF): 2004
2006
Extent: 7, 89p
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 通信プロセスモデル / Webアプリケーション / π計算 / 代数的意味論 / タイムアウト処理ツウシンプロセスモデル / Web アプリケーション / pケイサン / ダイスウテキイミロン / タイムアウトショリ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 16500027
Holding library: 国立国会図書館
Call No.: Y151-H16500027
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009297216
http://id.ndl.go.jp/bib/000009297216
Bibliographic Record Category (NDL): 214