National Institute of Technology, Sendai College
National Institute of Technology, Sendai College
Help Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • New Purchase Request

National Institute of Technology, Sendai College

Back to List

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

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

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

萩谷昌己監修 ; 吉岡信和, 青木利晃, 田原康之著. -- 近代科学社, 2008. -- (トップエスイー実践講座 ; 3). <BB02178792>
Tag:
No tag is registered
Functions:
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 Status user1 Due Date Reservation
0001 NIT, Sendai(Hirose) College (広瀬)一般図書 007.63||Y92 C20110557 0items
No. 0001
Volumes
Library NIT, Sendai(Hirose) College
Location (広瀬)一般図書
Call No 007.63||Y92
Material ID C20110557
Status
user1
Due Date
Reservation 0items
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 トップエスイー実践講座||トップ エスイー ジッセン コウザ <BB00241538> 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-)
ハギヤ, マサミ <NC:DA00068762>
author link 吉岡, 信和(1971-)
ヨシオカ, ノブカズ <NC:DA11724498>
author link 青木, 利晃
アオキ, トシアキ <NC:DA12736131>
author link 田原, 康之
タハラ, ヤスユキ <NC:DA16390480>
classification Information science NDC8:007.63
classification Information science NDC9:007.63
subject headings ソフトウェア工学||ソフトウェアコウガク
Go to the top of this page
Back to List
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)

    Purchase Request

    QR code