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

Specification and verification of concurrent systems

C. Rattray, (ed.) ; : Germany, : U.S.. -- Springer-Verlag, 1990. -- (Workshops in computing). <BB00529963>
Tag:
No tag is registered
Functions:
Contents and Summary Details
URL:

Specification and verification of concurrent systems

C. Rattray, (ed.) ; : Germany, : U.S.. -- Springer-Verlag, 1990. -- (Workshops in computing). <BB00529963>
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 : U.S. B2：2nd basement 549.92||RAT 00660703 0items
No. 0001
Volumes : U.S.
Location B2：2nd basement
Section
Material format
Call No 549.92||RAT
Material ID 00660703
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 Specification and verification of concurrent systems / C. Rattray, (ed.)
publication,distribution,etc.,area London ; Tokyo : Springer-Verlag , c1990
physical description area viii, 612 p. : ill. ; 25 cm
Volume Information
volumes : Germany
ISBN 3540195815
Volume Information
volumes : U.S.
ISBN 0387195815
parent bibliography link Workshops in computing <BB01028487>//a
note "Published in collaboration with the British Computer Society"
note "Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland"--Pref
note Incudes bibliographical references and index
NCID BA10793637
text language code English
author link Rattray, C. (Charles), 1938- <AU00187954>
author link British Computer Society <AU00046941>
author link BCS-FACS Workshop on Specification and Verification of Concurrent Systems <AU00187955> (1988 : University of Stirling)
classification LCC:QA76.58
classification DC20:004/.35
subject headings Parallel processing (Electronic computers) -- Congresses
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