摂大図書館ポータルサイト

図書館OPAC(蔵書検索)

　　摂南大学
 　　常翔啓光学園中高

利用者ログインはこちら

　　　　　 検索トップに戻る

  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Review History
    • Alert
    • InterLibrary Copy Request
    • InterLibrary Loan Request
  • Reservation Cart
  • Show History
  • My Search
  • cap_language}

Setsunan University Library

Back to previous

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

萩谷昌己監修 ; 吉岡信和, 青木利晃, 田原康之著. -- 近代科学社, 2008. -- (トップエスイー実践講座 ; 3). <BB99101190>
Stamp registration
Stamp is not pushed yet.


Tag:
No tag is registered
Functions:
Review Details
URL:

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

萩谷昌己監修 ; 吉岡信和, 青木利晃, 田原康之著. -- 近代科学社, 2008. -- (トップエスイー実践講座 ; 3). <BB99101190>
Stamp registration
Stamp is not pushed yet.


Tag:
No tag is registered
Functions:
Review Details
URL:

HoldingsList 1-3 of about 3

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 SUL 研究室 007.61||S 20903031 available for lending Faculty office 0items
0002 OITHBL WW general books 007.63||Y 80901759 available for lending 0items
0003 OITHBL WW stack room 007.63||Y 80801035 available for lending 0items
No. 0001
Volumes
Library SUL
Location 研究室
Call No 007.61||S
Material ID 20903031
In-Lib only available for lending
Status Faculty office
Due Date
Reservation 0items
No. 0002
Volumes
Library OITHBL
Location WW general books
Call No 007.63||Y
Material ID 80901759
In-Lib only available for lending
Status
Due Date
Reservation 0items
No. 0003
Volumes
Library OITHBL
Location WW stack room
Call No 007.63||Y
Material ID 80801035
In-Lib only available for lending
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 トップエスイー実践講座||トップ エスイー ジッセン コウザ <BB99101191> 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-)||ハギヤ, マサミ <AU10038505>
author link 吉岡, 信和(1971-)||ヨシオカ, ノブカズ <AU00023697>
author link 青木, 利晃||アオキ, トシアキ <AU00023698>
author link 田原, 康之||タハラ, ヤスユキ <AU00031789>
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