logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 Proceedings - Shaoying Liu, Keijiro Araki, Thomas S.E. Maibaum
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 Proceedings
by: (author) (author) (author)
Format: paperback
ISBN: 9783540881933 (354088193X)
Publisher: Springer
Pages no: 396
Edition language: English
Bookstores:
Books by Thomas S.E. Maibaum
Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings - Thomas S.E. Maibaum
Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 1: Colloquium on Trees in Algebra and Programming (Caap '91) - Samson Abramsky, Thomas S.E. Maibaum
The Specification of Computer Programs -... The Specification of Computer Programs - Wadysaw Turski, Thomas S.E. Maibaum, Wladyslaw M. Turski
Handbook of Logic in Computer Science Vo... Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods - S. Abramsky, Dov M. Gabbay, Thomas S.E. Maibaum
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 Proceedings - Shaoying Liu, Keijiro Araki, Thomas S.E. Maibaum
Handbook of Logic in Computer Science - Samson Abramsky, Dov M. Gabbay, Thomas S.E. Maibaum
Books by Shaoying Liu
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 Proceedings - Shaoying Liu, Keijiro Araki, Thomas S.E. Maibaum
Formal Engineering for Industrial Software Development: Using the SOFL Method - Shaoying Liu
Formal Engineering Methods - Shaoying Li... Formal Engineering Methods - Shaoying Liu
Formal Engineering for Industrial Software Development: Using the Sofl Method - Shaoying Liu
Books by Keijiro Araki
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 Proceedings - Shaoying Liu, Keijiro Araki, Thomas S.E. Maibaum
Ifm 99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28 29 June 1999 - K. Araki, Keijiro Araki, Andy Galloway, Kenji Taguchi
Rims Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan - Eiichi Goto, Taiichi Yuasa, Keijiro Araki
Rims Symposium on Software Science and Engineering II - Eiichi Goto, Taiichi Yuasa, Keijiro Araki
Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings - Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Share this Book
Copyright © 2024 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.