logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - Cliff B. Jones, Zhiming Liu, Jim Woodcock
Add cover
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
by: (author) (author) (author)
Format: paperback
ISBN: 9783540752202 (354075220X)
Publisher: Springer
Pages no: 539
Edition language: English
Bookstores:
Books by Cliff B. Jones
Case Studies In Systematic Software Deve... Case Studies In Systematic Software Development - Cliff B. Jones
Essays In Computing Science - C.A.R. Hoa... Essays In Computing Science - C.A.R. Hoare, Cliff B. Jones
Programming Languages and Their Definition - Hans Bekic, Cliff B. Jones
Methods, Models and Tools for Fault Tole... Methods, Models and Tools for Fault Tolerance - Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
Water Runs Slow Through Flat Land - Clif... Water Runs Slow Through Flat Land - Cliff Jones
Object Orientation with Parallelism and Persistence (The Springer International Series in Engineering and Computer Science) - Burkhard Freitag, Cliff B. Jones, Christian Lengauer, Hans-Jxf6rg Schek
5th Refinement Workshop - Cliff B. Jones, Roger C. Shaw, Tim Denvir
Reflections on the Work of C.A.R. Hoare - A.W. Roscoe, Cliff B. Jones, Kenneth Wood
Communicating Sequential Processes. The ... Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers ... Computer Science and General Issues) - Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
Systematic Software Development Using Vd... Systematic Software Development Using Vdm - Cliff B. Jones
Books by Jim Woodcock
Using Z: Specification, Refinement, And ... Using Z: Specification, Refinement, And Proof - Jim Woodcock, Jim Davies
St. Louis Blues hockey club, 1967-2002: ... St. Louis Blues hockey club, 1967-2002: Note by note - Jim Woodcock
Formal Methods: Foundations And Applications: 12th Brazilian Symposium On Formal Methods, Sbmf 2009 Gramado, Brazil, August 19 21, 2009 Revised Selected ... / Programming And Software Engineering) - Marcel Vinícius Medeiros Oliveira, Jim Woodcock
Refinement Techniques in Software Engine... Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... / Programming and Software Engineering) - Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Formal Methods and Hybrid Real-Time Syst... Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - Cliff B. Jones, Zhiming Liu, Jim Woodcock
Fme '96, Industrial Benefit Of Formal Me... Fme '96, Industrial Benefit Of Formal Methods: Third International Symposium Of Formal Methods Europe Co Sponsored By Ifip Wg 14.3, Oxford, Uk, March ... Ngs (Lecture Notes In Computer Science, 1051) - england International Symposium of Formal Methods Europe 1996 Oxford, M. C. Gaudel, Jim Woodcock
Software Engineering Mathematics: Formal Methods Demystified (Sei Series in Software Engineering) - Jim Woodcock, Martin Loomes
Software Engineering Mathematics - Jim W... Software Engineering Mathematics - Jim Woodcock, Martin J. Loomes
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions - Bertrand Meyer, Jim Woodcock
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Natarajan Shankar, Jim Woodcock
Books by Zhiming Liu
Formal Methods and Hybrid Real-Time Syst... Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - Cliff B. Jones, Zhiming Liu, Jim Woodcock
Theoretical Aspects of Computing - Ictac 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings - Zhiming Liu, Jones Woodcock
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings - Zhiming Liu, Jifeng He
Mathematical Frameworks for Component So... Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. Series on Component-Based Software Development, Volume 2. - Debasis Sengupta, S Rao Jammalamadaka, Zhiming Liu, He Jifeng
Theoretical Aspects of Computing - Ictac 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers - Zhiming Liu
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings - Zhiming Liu
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.