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

Tokai University Library

Back to List

Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays

Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.). -- Springer, 2007. -- (Lecture notes in computer science ; 4700). <BB00287840>
Tag:
No tag is registered
Functions:
Contents and Summary Review Details
URL:

Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays

Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.). -- Springer, 2007. -- (Lecture notes in computer science ; 4700). <BB00287840>
Tag:
No tag is registered
Functions:
Contents and Summary 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 12Gokan 開架室 549.92/L/4700 001001275790X 配架済 0items
No. 0001
Volumes
Library 12Gokan
Location 開架室
Call No 549.92/L/4700
Material ID 001001275790X
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 Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
publication,distribution,etc.,area Berlin : Springer , c2007
physical description area xvi, 538 p. : ill., ports. ; 24 cm
Volume Information
ISBN 9783540752202
parent bibliography link Lecture notes in computer science <TY10000225> 4700//a
note Includes bibliographical references and index
note "Festschrift"--Cover
NCID BA83213476
text language code English
author link Jones, Cliff B., 1944- <AU00170886>
author link 劉, 志明(1962-)||リュウ, シメイ <AU00134272>
author link Woodcock, James <AU00013583>
local CLS NDC:549.92
local CLS NDC9:007
ID BB00287840
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)
    • 1人5冊まで、貸出期間＝2週間

    QR code