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 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). <BB00992224>
Tag:
No tag is registered
Functions:
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). <BB00992224>
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 Mathematics Library Mathematics Library：Series 10001421892 /549/L49c/4700 0items
No. 0001
Volumes
Library Mathematics Library
Location Mathematics Library：Series
Material ID 10001421892
Call No /549/L49c/4700
Status
Due Date
Reservation 0items
WEB書棚
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 <BB00769733> 4700//a
note "Festschrift"--Cover
note Includes bibliographies and index
NCID BA83213476
text language code English
author link Jones, Cliff B., 1944- <AU00311747>
author link 劉, 志明(1962-)||リュウ, シメイ <AU00622210>
author link Woodcock, James <AU00365930>
classification LCC:QA76.9.F67
classification DC22:004.01/51
subject headings Formal methods (Computer science) -- Congresses
subject headings Real-time data processing -- Congresses
subject headings Bjørner, D. (Dines), 1937- -- Congresses
subject headings Zhou, Chaochen, 1937- -- 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)

    QR code