Tokiwa University Media and Information Technology Center
 
Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Review History
    • Alert
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • New Purchase Request
  • Reservation Cart
  • Show History
  • My Search
  • cap_language}

Tokiwa University Media and Information Technology Center

Back to previous

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証

萩谷昌己監修 ; 吉岡信和, 青木利晃, 田原康之著. -- 近代科学社, 2008. -- (トップエスイー実践講座 ; 3). <BB10060369>
Tag:
No tag is registered
Functions:
Review Details
URL:

SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証

萩谷昌己監修 ; 吉岡信和, 青木利晃, 田原康之著. -- 近代科学社, 2008. -- (トップエスイー実践講座 ; 3). <BB10060369>
Tag:
No tag is registered
Functions:
Review Details
URL:

HoldingsList 1-1 of about 1

Click a number to display details about the collection.

No. Volumes Library Location Call No Material ID In-Lib only Status Due Date Reservation
0001 Univ. 3rd floor 007.63/S 003262755 0items
No. 0001
Volumes
Library Univ.
Location 3rd floor
Call No 007.63/S
Material ID 003262755
In-Lib only
Status
Due Date
Reservation 0items
Go to the top of this page
Go to the top of this page

Bibliography Details

title and statement of responsibility area SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 / 萩谷昌己監修 ; 吉岡信和, 青木利晃, 田原康之著
SPIN ニ ヨル セッケイ モデル ケンショウ : モデル ケンサ ノ ジッセン ソフトウェア ケンショウ
publication,distribution,etc.,area 東京 : 近代科学社 , 2008.9
physical description area xvii, 226p ; 24cm
Volume Information
ISBN 9784764903548
parent bibliography link トップエスイー実践講座||トップ エスイー ジッセン コウザ <BB10060368> 3//a
variant titles 標題紙タイトル:Design model verification by SPIN
variant titles 異なりアクセスタイトル:SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証
SPIN ニヨル セッケイ モデル ケンショウ : モデル ケンサ ノ ジッセン ソフトウェア ケンショウ
note 参考文献: p187-190
NCID BA8725948X
text language code Japanese
author link 萩谷, 昌己(1957-)||ハギヤ, マサミ <AU00011091>
author link 吉岡, 信和(1971-)||ヨシオカ, ノブカズ <AU20032911>
author link 青木, 利晃||アオキ, トシアキ <AU20032912>
author link 田原, 康之||タハラ, ヤスユキ <AU20032913>
classification Information science NDC8:007.63
classification Information science NDC9:007.63
subject headings ソフトウェア工学||ソフトウェアコウガク
Go to the top of this page
Back to previous
Go to the top of this page

  • Related Information

    Related Items

    Other Databases

    Other Universities (NII)

    Get it from another library

    • ILL Copy Request(get a copy from another library)
    • ILL Borrowing Request(borrow the actual book)

    QR code