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

Author(s)

• Jones, Cliff B.
• 劉, 志明 リュウ, シメイ liu, zhi ming
• Woodcock, James

Bibliographic Information

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.)

（Lecture notes in computer science, 4700）

Springer, c2007

Note

"Festschrift"--Cover

Includes bibliographies and index

Details

• NCID: BA83213476
• ISBN:
  • 9783540752202
• LCCN: 2007935177
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xvi, 538 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.F67
  • DC22 : 004.01/51
• Subject Headings:
  • LCSH : Formal methods (Computer science) -- Congresses
  • LCSH : Real-time data processing -- Congresses
  • LCSH : Bjørner, D. (Dines), 1937- -- Congresses
  • LCSH : Zhou, Chaochen, 1937- -- Congresses
• Parent Bibliography ID:
  • BA00009279