Theoretical Computer Science and General Issues

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Editors: Jones, Cliff, Liu, Zhiming, Woodcock, James (Eds.)

  • Published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays in October and November 2007

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-75221-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-75220-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (25 chapters)

  • Models and Software Model Checking of a Distributed File Replication System

    Bjørner, Nikolaj

    Pages 1-23

  • From “Formal Methods” to System Modeling

    Broy, Manfred

    Pages 24-44

  • A Denotational Semantics for Handel-C

    Butterfield, Andrew

    Pages 45-66

  • Generating Polynomial Invariants with DISCOVERER and QEPCAD

    Chen, Yinghua (et al.)

    Pages 67-82

  • Harnessing rCOS for Tool Support —The CoCoME Experience

    Chen, Zhenbang (et al.)

    Pages 83-114

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-75221-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-75220-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods and Hybrid Real-Time Systems
Book Subtitle
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Editors
  • Cliff Jones
  • Zhiming Liu
  • James Woodcock
Series Title
Theoretical Computer Science and General Issues
Series Volume
4700
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-75221-9
DOI
10.1007/978-3-540-75221-9
Softcover ISBN
978-3-540-75220-2
Edition Number
1
Number of Pages
XVI, 542
Topics