logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
5th Refinement Workshop - Cliff B. Jones, Roger C. Shaw, Tim Denvir
5th Refinement Workshop
by: (author) (author) (author)
Format: paperback
ISBN: 9783540197522 (3540197524)
Publisher: Springer
Pages no: 381
Edition language: English
Bookstores:
Books by Cliff B. Jones
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings - Dines Bjorner, Erich J. Neuhold, Cliff B. Jones, Michael Mac An Airchinnigh
Dependable and Historic Computing: Essay... Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday - Cliff B. Jones, John L. Lloyd
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
Books by Roger C. Shaw
5th Refinement Workshop - Cliff B. Jones, Roger C. Shaw, Tim Denvir
Books by Tim Denvir
5th Refinement Workshop - Cliff B. Jones, Roger C. Shaw, Tim Denvir
Formal Aspects of Measurement - Tim Denv... Formal Aspects of Measurement - Tim Denvir, Ros Herman, R.W. Whitty
Formal Aspects of Measurement: Proceedings of the BCS-Facs Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 - Tim Denvir
Fme '94: Industrial Benefit Of Formal Me... Fme '94: Industrial Benefit Of Formal Methods: Second International Symposium Of Formal Methods Europe, Barcelona, Spain, October 24 28, 1994: Proceedings - Maurice Naftalin, Tim Denvir
FME '94: Industrial Benefit of Formal Me... FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science) - Maurice Naftalin, Tim Denvir, Miquel Bertran
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.