Filtrera

Ämne
  • (26)
  • (1)
Format
  • (2)
  • (10)
  • (15)
Utgivningsår
  • (2)
  • (3)
  • (22)
Pris
  • (1)
Leveranstid
  • (10)
  • (11)

Shaoying Liu - Böcker

Visar alla böcker av Shaoying Liu. Handla med fri frakt och snabb leverans!

Sortering:

  1. Structured Object-Oriented Formal Language and Method

    av Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya

    Häftad, Engelska, 2019-02-09
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised ful...

    Läs mer »

  2. Structured Object-Oriented Formal Language and Method E-bok

    av Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya

    E-bok (LCP), Engelska, 2019-03-11
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised...

    Läs mer »

  3. Structured Object-Oriented Formal Language and Method

    av Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan

    Häftad, Engelska, 2020-02-20
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers in...

    Läs mer »

  4. Structured Object-Oriented Formal Language and Method

    av Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan

    Häftad, Engelska, 2021-06-04
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volum...

    Läs mer »

  5. Structured Object-Oriented Formal Language and Method E-bok

    av Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan

    E-bok (LCP), Engelska, 2021-06-03
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volum...

    Läs mer »

  6. Structured Object-Oriented Formal Language and Method

    av Shaoying Liu, Zhenhua Duan, Ai Liu

    Häftad, Engelska, 2023-03-25
    626
    Köp
    Skickas från oss inom 5-8 vardagar.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022. The 12 revised full papers included in the volume...

    Läs mer »

  7. Structured Object-Oriented Formal Language and Method E-bok

    av Shaoying Liu, Zhenhua Duan, Ai Liu

    E-bok (LCP), Engelska, 2023-03-24
    851
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume ...

    Läs mer »

  8. Structured Object-Oriented Formal Language And Method

    av Liu Shaoying Liu, Duan Zhenhua Duan, Liu Ai Liu

    Häftad, Engelska, 2023-03-25
    695
    Köp
    Skickas från oss inom 7-10 vardagar.
    Structured Object-Oriented Formal Language And Method

  9. Structured Object-Oriented Formal Language and Method

    av Shaoying Liu, Zhenhua Duan

    Häftad, Engelska, 2014-03-11
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    Structured Object-Oriented Formal Language and Method

    This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume ...

    Läs mer »

  10. Structured Object-Oriented Formal Language and Method E-bok

    av Shaoying Liu, Zhenhua Duan

    E-bok (PDF, LCP), Engelska, 2014-02-20
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Structured Object-Oriented Formal Language and Method

    This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume ...

    Läs mer »

  11. Structured Object-Oriented Formal Language and Method

    av Shaoying Liu, Zhenhua Duan

    Häftad, Engelska, 2015-04-27
    470
    Köp
    Skickas från oss inom 7-10 vardagar.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers pre...

    Läs mer »

  12. Structured Object-Oriented Formal Language and Method E-bok

    av Shaoying Liu, Zhenhua Duan

    E-bok (PDF, LCP), Engelska, 2015-04-16
    596
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers pre...

    Läs mer »

  13. Structured Object-Oriented Formal Language and Method

    av Shaoying Liu, Zhenhua Duan

    Häftad, Engelska, 2016-03-13
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in...

    Läs mer »

  14. Formal Methods and Software Engineering

    av Kazuhiro Ogata, Mark Lawford, Shaoying Liu

    Häftad, Engelska, 2016-10-15
    326
    Köp
    Skickas från oss inom 2-5 vardagar.
    Formal Methods and Software Engineering

    This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were care...

    Läs mer »

  15. Formal Methods and Software Engineering E-bok

    av Kazuhiro Ogata, Mark Lawford, Shaoying Liu

    E-bok (PDF, LCP), Engelska, 2016-10-31
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Methods and Software Engineering

    This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were care...

    Läs mer »

  16. Structured Object-Oriented Formal Language and Method

    av Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya

    Häftad, Engelska, 2017-04-21
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    Structured Object-Oriented Formal Language and Method

    This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were careful...

    Läs mer »

  17. Structured Object-Oriented Formal Language and Method

    av Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan

    Häftad, Engelska, 2018-04-18
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xian, China, in November 2017. The 13 revised full papers includ...

    Läs mer »

  18. Structured Object-Oriented Formal Language and Method E-bok

    av Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan

    E-bok (LCP), Engelska, 2018-04-20
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017.The 13 revised full papers includ...

    Läs mer »

  19. Formal Engineering for Industrial Software Development

    av Shaoying Liu

    Inbunden, Engelska, 2004-04-01
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Engineering for Industrial Software Development

    In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in...

    Läs mer »

  20. Formal Methods and Software Engineering

    av Shaoying Liu, Tom Maibaum, Keijiro Araki

    Häftad, Engelska, 2008-10-08
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods and Software Engineering

    Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic...

    Läs mer »

  21. Formal Methods and Software Engineering E-bok

    av Shaoying Liu, Tom Maibaum, Keijiro Araki

    E-bok (PDF, LCP), Engelska, 2008-10-18
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Methods and Software Engineering

    Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic...

    Läs mer »

  22. Formal Engineering for Industrial Software Development

    av Shaoying Liu

    Häftad, Engelska, 2010-12-08
    585
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Engineering for Industrial Software Development

    In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in...

    Läs mer »

  23. Structured Object-Oriented Formal Language and Method

    av Shaoying Liu

    Häftad, Engelska, 2013-08-14
    539
    Köp
    Skickas från oss inom 7-10 vardagar.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were care...

    Läs mer »

  24. Structured Object-Oriented Formal Language and Method E-bok

    av Shaoying Liu

    E-bok (PDF, LCP), Engelska, 2013-08-04
    681
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Structured Object-Oriented Formal Language and Method

    This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were care...

    Läs mer »

  25. Formal Engineering for Industrial Software Development E-bok

    av Shaoying Liu

    E-bok (PDF, LCP), Engelska, 2013-03-09
    766
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Engineering for Industrial Software Development

    In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in...

    Läs mer »

  26. Formal Methods and Software Engineering

    av Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu

    Häftad, Engelska, 2024-11-29
    888
    Köp
    Skickas från oss inom 7-10 vardagar.
    Formal Methods and Software Engineering

    This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 5...

    Läs mer »

  27. Agile-SOFL

    av Shaoying Liu

    Inbunden, Engelska, 2024-06-06
    2308
    Köp
    Skickas från oss inom 7-10 vardagar.
    Agile-SOFL

    This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects. In this book, the author argues that formal engineering methods and agile approache...

    Läs mer »