{"title":"Shaoying Liu","description":null,"products":[{"product_id":"structured-object-oriented-formal-language-and-method-springer-international-publishing-ag-9783319174037-4th-international-workshop-sofl-msvl-2014-luxembourg-luxembourg-november-6-2014-revised-selected-papers-shaoying-liu","title":"Structured Object-Oriented Formal Language and Method","description":"\u003cp\u003eDiscover the world of structured object-oriented formal languages with \"Structured Object-Oriented Formal Language and Method\" by Shaoying Liu. Published by Springer International Publishing AG in 2015, this insightful paperback comprises 189 pages of meticulously curated knowledge. It features the post-workshop proceedings from the 4th International Workshop on Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2014), which took place in November 2014 in Luxembourg. This compelling collection includes 12 highly-relevant papers, carefully selected from 20 submissions, offering a glimpse into the advancements and methodologies in software engineering and object-oriented methods within computer science. Whether you are a researcher, practitioner, or student, this book serves as an essential resource to deepen your understanding and explore innovative approaches in formal language and method. Get your copy today and enrich your knowledge in this specialized field!\u003c\/p\u003e","brand":"Shaoying Liu","offers":[{"title":"Default Title","offer_id":52227650224470,"sku":"9783319174037","price":42.43,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319174037.jpg?v=1767742073"},{"product_id":"structured-object-oriented-formal-language-and-method-springer-international-publishing-ag-9783319577074-6th-international-workshop-sofl-msvl-2016-tokyo-japan-november-15-2016-revised-selected-papers-shaoying-liu","title":"Structured Object-Oriented Formal Language and Method","description":"\u003cp\u003eDiscover the groundbreaking work of Shaoying Liu in \"Structured Object-Oriented Formal Language and Method,\" published by Springer International Publishing AG in 2017. This first edition features 239 insightful pages that compile revised selected papers from the prestigious 6th International Workshop on Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2016), held in Tokyo, Japan. Out of 26 submissions, only 13 exceptional papers were meticulously reviewed and included in this volume, making it a valuable resource for researchers and practitioners alike. The book explores advanced concepts in object-oriented design and formal methods, providing readers with a comprehensive understanding of contemporary approaches in the field. Whether you are a student, educator, or industry professional, this work is an essential addition to your library. Enhance your knowledge and dive into the world of formal languages and methods with this engaging and informative text.\u003c\/p\u003e","brand":"Shaoying Liu","offers":[{"title":"Default Title","offer_id":52227651338582,"sku":"9783319577074","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319577074.jpg?v=1767742075"},{"product_id":"software-fault-prevention-verification-and-validation-springer-nature-switzerland-ag-9789819616206-first-international-symposium-sfpvv-2024-hiroshima-japan-december-2-3-2024-proceedings-shaoying-liu","title":"Software Fault Prevention, Verification, and Validation","description":"\u003cp\u003eDiscover the essential insights in \"Software Fault Prevention, Verification, and Validation\" by Shaoying Liu, published by Springer Nature Switzerland AG in 2025. This comprehensive volume features the refereed proceedings from the First International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2024), held in Hiroshima, Japan, on December 2–3, 2024. With 294 pages of meticulously reviewed and selected research, this book includes 18 full papers chosen from 39 submissions, making it a valuable resource for professionals and researchers in the field of software engineering. Enhance your understanding of software reliability and quality assurance by exploring the innovative approaches discussed in this essential guide.\u003c\/p\u003e","brand":"Shaoying Liu","offers":[{"title":"Default Title","offer_id":52257078247766,"sku":"9789819616206","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789819616206.jpg?v=1767786993"},{"product_id":"structured-object-oriented-formal-language-and-method-springer-international-publishing-ag-9783031294754-11th-international-workshop-sofl-msvl-2022-madrid-spain-october-24-2022-revised-selected-papers-shaoying-liu","title":"Structured Object-Oriented Formal Language and Method","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Structured Object-Oriented Formal Language and Method\" by Shaoying Liu, published by Springer International Publishing AG in 2023. This first edition, featuring 151 pages, compiles the refereed workshop proceedings from the 11th International Workshop on Structured Object-Oriented Formal Language and Method (SOFL+MSVL 2022), held in Madrid in October 2022. Within this volume, you will find 12 meticulously revised full papers that have been rigorously reviewed and selected from a competitive pool of 26 submissions. This book is an essential resource for anyone interested in the latest advancements in object-oriented formal languages and methodologies, making it a valuable addition to your academic library. Enhance your understanding of this vital area in mathematics and formal methods with this comprehensive collection.\u003c\/p\u003e","brand":"Shaoying Liu","offers":[{"title":"Default Title","offer_id":52258394538326,"sku":"9783031294754","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031294754.jpg?v=1767788737"},{"product_id":"agile-sofl-springer-verlag-singapore-9789819722846-agile-formal-engineering-method-shaoying-liu","title":"Agile-SOFL","description":"\u003cp\u003e\u003cstrong\u003eAgile-SOFL\u003c\/strong\u003e by Shaoying Liu.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2024), Hardback, 143 pages.\u003c\/p\u003e","brand":"Shaoying Liu","offers":[{"title":"Default Title","offer_id":52269528744278,"sku":"9789819722846","price":181.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789819722846.jpg?v=1767803198"}],"url":"https:\/\/www.bookshop.lv\/collections\/shaoying-liu.oembed","provider":"Bookshop","version":"1.0","type":"link"}