38 results
Type of media (2)
Availability (3)
Language (2)
Classification (6)
Year
Persons
Publishers
Sort by
Results per page
Filter
38 results

Your search for Shaoying Liu

  1. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Jinyun Xue | Fumiko Nagoya | Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
    06/2021
    Springer
    9783030774745 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Software Fault Prevention, Verification, and Validation - Springer
    YUTING CHEN | Hiroyuki Okamura | Shaoying Liu
    Software Fault Prevention, Verification, and Validation
    Second International Symposium, SFPVV 2025, Shanghai, China, November 8-9, 2025, Proceedings
    02/2026
    Springer
    9789819560325 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  3. Cover: Formal Methods and Software Engineering - Springer
    Kazuhiro Ogata | Mark Lawford | Shaoying Liu
    Formal Methods and Software Engineering
    18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
    10/2016
    Springer
    9783319478463 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Shaoying Liu | Zhenhua Duan | Cong Tian
    Structured Object-Oriented Formal Language and Method
    6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
    04/2017
    Springer
    9783319577081 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Cong Tian | Fumiko Nagoya | Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
    04/2018
    Springer
    9783319901046 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Huaikou Miao | Cong Tian | Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
    02/2020
    Springer
    9783030414184 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Shaoying Liu | Zhenhua Duan | Ai Liu
    Structured Object-Oriented Formal Language and Method
    11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
    03/2023
    Springer
    9783031294761 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  8. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Shaoying Liu | Zhenhua Duan
    Structured Object-Oriented Formal Language and Method
    4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
    04/2015
    Springer
    9783319174044 (ISBN)
    E-Book
    PDF
    Other editions
    €42.79
    Available for download
  9. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Shaoying Liu | Zhenhua Duan
    Structured Object-Oriented Formal Language and Method
    5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
    03/2016
    Springer
    9783319312200 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  10. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Zhenhua Duan | Shaoying Liu | Cong Tian
    Structured Object-Oriented Formal Language and Method
    8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
    03/2019
    Springer
    9783030136512 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  11. Cover: Formal Methods and Software Engineering - Springer
    Kazuhiro Ogata | Dominique Mery | Meng Sun
    Formal Methods and Software Engineering
    25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
    11/2024
    Springer
    9789819606177 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  12. Cover: Software Fault Prevention, Verification, and Validation - Springer
    Shaoying Liu
    Software Fault Prevention, Verification, and Validation
    First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings
    02/2025
    Springer
    9789819616213 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  13. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
    08/2013
    Springer
    9783642392771 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  14. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Shaoying Liu | Zhenhua Duan
    Structured Object-Oriented Formal Language and Method
    Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
    02/2014
    Springer
    9783319049151 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  15. Cover: Agile-SOFL - Springer
    Shaoying Liu
    Agile-SOFL
    Agile Formal Engineering Method
    06/2024
    1st EDN1st Edition
    Springer
    9789819722853 (ISBN)
    E-Book
    PDF
    Other editions
    €181.89
    Available for download
  16. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Jinyun Xue | Fumiko Nagoya | Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
    06/2021
    Springer
    9783030774738 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  17. Cover: Formal Methods and Software Engineering - Springer
    Shaoying Liu | Tom Maibaum | Keijiro Araki
    Formal Methods and Software Engineering
    10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
    10/2008
    Springer
    9783540881933 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  18. Cover: Structured Object-Oriented Formal Language and Method - Springer
    Huaikou Miao | Cong Tian | Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
    02/2020
    Springer
    9783030414177 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  19. Cover: Software Fault Prevention, Verification, and Validation - Springer
    YUTING CHEN | Hiroyuki Okamura | Shaoying Liu
    Software Fault Prevention, Verification, and Validation
    Second International Symposium, SFPVV 2025, Shanghai, China, November 8-9, 2025, Proceedings
    approx. 01/2026
    Springer
    9789819560318 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €70.61
    Not yet published
  20. Cover: Formal Engineering for Industrial Software Development - Springer
    Shaoying Liu
    Formal Engineering for Industrial Software Development
    Using the SOFL Method
    04/2004
    Springer
    9783540206026 (ISBN)
    Book
    Hardback
    Other editions
    €53.49
    Shipment within 7-9 days
    2. of 2