Kyoto Sangyo University Library
Login
  • Catalog Search Catalog Search ▼
  • User service My Library ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Alert
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • New Purchase Request
    • Renewing lending period.

Kyoto Sangyo University Library

Back to List

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

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

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

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

HoldingsList 1-1 of about 1

Click a number to display details about the collection.

No. Volumes Location Section Material format Call No Material ID Status Due Date Reservation
0001 B1：1st basement 007.63||TOP||3 01172602 Loaned out 2027/3/31 0items
No. 0001
Volumes
Location B1：1st basement
Section
Material format
Call No 007.63||TOP||3
Material ID 01172602
Status Loaned out
Due Date 2027/3/31
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 トップエスイー実践講座||トップ エスイー ジッセン コウザ <BB00788678> 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-)||ハギヤ, マサミ <AU00009435>
author link 吉岡, 信和(1971-)||ヨシオカ, ノブカズ <AU00166706>
author link 青木, 利晃||アオキ, トシアキ <AU00340110>
author link 田原, 康之||タハラ, ヤスユキ <AU00075258>
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