Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

by Cliff B. Jones, Zhiming Liu, Jim Woodcock Paperback 2007

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Cliff B. Jones, Zhiming Liu, Jim Woodcock
  • ISBN 13: 9783540752202
  • ISBN 10: 354075220X
  • Publication Year: 2007
  • Language: English

Specifications

Index-10 354075220X
Index-13 9783540752202
Language English

✨ Readers also enjoyed...

View All →
Case Studies System Software Devepment

Case Studies System Software Devep…

Cliff B. Jones, Roger Shaw

Inquire
Communicating Sequential Processes - The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 2004, Revised Invited Papers

Communicating Sequential Processes…

Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

Inquire
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria,

FME '97 Industrial Applications an…

John Fitzgerald, Cliff B. Jones, Peter Lucas, G. Goos, J. Hartmanis

Inquire
Formal Specification and Software Development

Formal Specification and Software …

Dines Bjørner, Cliff B. Jones

Inquire
Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Faul…

Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna

Inquire