Tokyo Metropolitan University Library
Library HP | Login
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Tag History
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • New Purchase Request

Tokyo Metropolitan University Library

Back to previous

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

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

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

吉岡信和, 青木利晃, 田原康之著. -- 近代科学社, 2008. -- (トップエスイー実践講座 ; 3). <BB00344067>
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 Material ID Call No Status Due Date Reservation WEB書棚
0001 Systems Design Library Hino：general collection 20001483827 /007.63/Y 0items
No. 0001
Volumes
Library Systems Design Library
Location Hino：general collection
Material ID 20001483827
Call No /007.63/Y
Status
Due Date
Reservation 0items
WEB書棚
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 トップエスイー実践講座||トップ エスイー ジッセン コウザ <BB00344065> 3//a
variant titles 標題紙タイトル:Design model verification by SPIN
variant titles 異なりアクセスタイトル:SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証
SPIN ニ ヨル セッケイ モデル ケンショウ : モデル ケンサ ノ ジッセン ソフトウェア ケンショウ
note 参考文献: p187-190
note 監修: 萩谷昌己
NCID BA8725948X
text language code Japanese
author link 萩谷, 昌己(1957-)||ハギヤ, マサミ <AU00134105>
author link 吉岡, 信和(1971-)||ヨシオカ, ノブカズ <AU00609815>
author link 青木, 利晃||アオキ, トシアキ <AU00609816>
author link 田原, 康之||タハラ, ヤスユキ <AU00609817>
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