logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
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
Add cover
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)
by: (author) (author) (author)
Format: kindle
ASIN: B000U0SNUO
Publisher: Springer
Pages no: 732
Edition language: English
Bookstores:
Books by Maurice Naftalin
Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Maurice Naftalin
Mastering Lambdas: Java Programming in a Multicore World - Maurice Naftalin
Lambda Expressions in Java - Maurice Naf... Lambda Expressions in Java - Maurice Naftalin
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
Books by Miquel Bertran
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
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Distributed Software, Arts'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings - Miquel Bertran, Juris Hartmanis, Miguel Bertran, Jan Van Leeuwen
Books by Tim Denvir
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
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
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.