Tokai University Library
Login
  • Catalog Search 目録検索 ▼
  • User service 利用者サービス ▼
    • Your Library Record
    • Bookmark
    • My Search
    • Review History
    • Tag History
    • InterLibrary Copy Request
    • InterLibrary Loan Request
    • New Purchase Request

Tokai University Library

Back to previous

Introduction to formal specification and Z

pbk. / Ben Potter, Jane Sinclair, David Till ; pbk.. -- 2nd ed. -- Prentice Hall, 1996. -- (Prentice-Hall International series in computer science). <BB78134016>
Tag:
No tag is registered
Functions:
Review Details
URL:

Introduction to formal specification and Z

pbk. / Ben Potter, Jane Sinclair, David Till ; pbk.. -- 2nd ed. -- Prentice Hall, 1996. -- (Prentice-Hall International series in computer science). <BB78134016>
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 Status Due Date Reservation WEB書棚
0001 Sapporo 電動洋書 549.92/I 0010781078431 配架済 0items
No. 0001
Volumes
Library Sapporo
Location 電動洋書
Call No 549.92/I
Material ID 0010781078431
Status 配架済
Due Date
Reservation 0items
WEB書棚
Go to the top of this page
Go to the top of this page

Bibliography Details

title and statement of responsibility area Introduction to formal specification and Z ; pbk. / Ben Potter, Jane Sinclair, David Till
INTRODUCTION
edition area 2nd ed
publication,distribution,etc.,area London ; Tokyo : Prentice Hall, 1996
physical description area xiv, 434 p. : ill. 24 cm
Volume Information
volumes pbk.
ISBN 0132422077
parent bibliography link Prentice-Hall International series in computer science <>//a
note Includes bibliographical references and index.
NCID BA28066304
text language code English
author link Ben Potter
POTTER <>
author link Jane Sinclair
SINCLAIR <>
author link David Till
TILL <>
classification NDC:549.92
ID BB78134016
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)
    • 1人5冊まで、貸出期間＝2週間

    Purchase Request

    QR code