Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 2008

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 2008

by Shaoying Liu, Tom Maibaum, Keijiro Araki Paperback 2008

⭐ 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: Shaoying Liu, Tom Maibaum, Keijiro Araki
  • ISBN 13: 9783540881933
  • ISBN 10: 354088193X
  • Publication Year: 2008
  • Language: English

Specifications

Index-10 354088193X
Index-13 9783540881933
Language English

✨ Readers also enjoyed...

View All →
Formal Engineering for Industrial Software Development : Using the SOFL Method

Formal Engineering for Industrial …

Shaoying Liu

Inquire
Formal Engineering for Industrial Software Development : Using the SOFL Method

Formal Engineering for Industrial …

Shaoying Liu

Inquire
Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 202

Formal Methods and Software Engine…

Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu

Inquire
Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings

Software Fault Prevention, Verific…

Shaoying Liu

Inquire
Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

Structured Object-Oriented Formal …

Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan

Inquire