{"title":"Zhiming Liu","description":null,"products":[{"product_id":"unifying-theories-of-programming-and-formal-engineering-methods-book-zhiming-liu-9783642397202","title":"Unifying Theories of Programming and Formal Engineering Methods","description":"This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120645075217,"sku":"NLS9783642397202","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642397202.jpg?v=1786107807"},{"product_id":"theories-of-programming-and-formal-methods-book-zhiming-liu-9783642396977","title":"Theories of Programming and Formal Methods","description":"This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013. The papers cover a broad spectrum of subjects, from foundational and theoretical topics to programs and systems issues and to applications, comprising formal methods, software and systems modeling, semantics, laws of programming, specification and verification, as well as logics. He Jifeng is known for his seminal work in the theories of programming and formal methods for software engineering. He is particularly associated with Unifying Theories of Programming (UTP) , the theory of data refinement and the laws of programming, and the rCOS formal method for object and component system construction. His book on UTP with Tony Hoare has been widely read and followed by a large number of researchers, and it has been used in many postgraduate courses. He was a senior researcher at Oxford during 1984-1998, and then a senior research fellow at the United Nations University International Institute for Software Technology (UNU-IIST) in Macau during 1998-2005. He has been a professor and currently the Dean of the Institute of Software Engineering at East China Normal University, Shanghai, China. In 2005, He Jifeng was elected as an academician to the Chinese Academy of Sciences. He also received an honorary doctorate from the University of York. He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52127148507409,"sku":"NLS9783642396977","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642396977.jpg?v=1757483554"},{"product_id":"theoretical-aspects-of-computing-ictac-2013-book-zhiming-liu-9783642397172","title":"Theoretical Aspects of Computing -- ICTAC 2013","description":"This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52142613430545,"sku":"NLS9783642397172","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642397172.jpg?v=1786700277"},{"product_id":"theoretical-aspects-of-computing-ictac-2004-book-zhiming-liu-9783540253044","title":"Theoretical Aspects of Computing - ICTAC 2004","description":"This volume contains the proceedings of ICTAC 2004, the 1st International Colloquium on Theoretical Aspects of Computing, which was held in Guiyang, China on 20-24 September 2004. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IST). Its aim is to bring together pr- titioners and researchers from academia, industry, and government to present research results, and exchange experience, ideas, and solutions for their pr- lems in theoretical aspects of computing. The geographic focus of the ICTAC events is on developing countries to help to strengthen them in their research, teaching, and development in computer science and engineering, to encourage research cooperation among developing countries, and to improve the links - tween developing countries and industrial countries. The Program Committee of ICTAC 2004 received 111 submissions from over 30 countries and regions. Each paper was reviewed, mostly by at least three r- ereesworkinginrelevant?elds, butbytwoinafewcases.Borderlinepaperswere further discussed during an online meeting of the Program Committee. Thir- fourpaperswereacceptedbasedonoriginality, technicalsoundness, presentation andrelevancetosoftwareengineeringandformalmethods.Wesincerelythankall the authors who submitted their work for consideration. We thank the Program Committee members and the other referees for their great e?ort and professional workinthereviewingandselectingprocess.Theirnamesarelistedonthefoll- ing pages. In addition to the contributed papers, the proceedings also includes contributions from the invited speakers: Jos e Luiz Fiadeiro, He Jifeng, Huimin Lin and Rustan Leino.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52352911245585,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52352914882833,"sku":"NLS9783540253044","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540253044.jpg?v=1786106862"},{"product_id":"formal-methods-and-software-engineering-book-zhiming-liu-9783540474609","title":"Formal Methods and Software Engineering","description":"This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52353833926929,"sku":"NLS9783540474609","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540474609.jpg?v=1786442442"},{"product_id":"automated-technology-for-verification-and-analysis-book-zhiming-liu-9783642047602","title":"Automated Technology for Verification and Analysis","description":"This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52407789224209,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52407789814033,"sku":"NLS9783642047602","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642047602.jpg?v=1758773209"},{"product_id":"mathematical-frameworks-for-component-software-models-for-analysis-and-synthesis-book-zhiming-liu-9789812700179","title":"MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE: MODELS FOR ANALYSIS AND SYNTHESIS","description":"The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts, services, connectors and architectures. Key issues in the application of the technology are becoming clearer, including the consistent integration of different views of a component, component composition, component coordination and transformation for platforms. However, we still know little about theories that support analysis and synthesis of component-based systems. The distinct feature of this volume is its focus on mathematical models that identify the core concepts as first class modeling elements, and its providing of techniques for integrating and relating them. The volume contains eleven chapters by well-established researchers writing from different perspectives. Each chapter gives explicit definitions of components in terms of a set of key aspects and addresses some of the problems of integration and analysis of various views: component specification, component composition, component coordination, refinement and substitution, and techniques for solving problems. The concepts and techniques are motivated and explained with the help of examples and case studies.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52454961053969,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52454961578257,"sku":"NLS9789812700179","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789812700179.jpg?v=1759372783"},{"product_id":"environmental-catalysis-and-air-pollution-control-book-zhiming-liu-9783725843497","title":"Environmental Catalysis and Air Pollution Control","description":"\u003cp\u003eThis reprint delves into cutting-edge research on the removal of common air pollutants, including nitrogen oxides (NOx), volatile organic compounds (VOCs), carbon monoxide (CO), soot, and sulfur dioxide (SO₂). Catalytic oxidation emerges as a highly effective approach for eliminating VOCs, CO, and soot, while adsorption techniques are explored for NOx and SO₂ control. Beyond traditional catalytic methods, the reprint also examines innovative hybrid strategies, such as the integration of catalysis with plasma technology and ozone (O₃) oxidation. Through a comprehensive analysis of diverse catalysts and catalytic processes, this work provides valuable insights into their design, performance, and practical applications in air pollution control. By highlighting advancements in catalyst and adsorbent development, as well as their synergistic combination with physical methods, this reprint aims to drive progress in air pollution control technologies. Ultimately, it contributes to the pursuit of more efficient solutions for a cleaner and healthier environment.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52591620325649,"sku":"NLS9783725843497","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761967165713,"sku":"NIN9783725843497","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783725843497.jpg?v=1761064316"},{"product_id":"engineering-trustworthy-software-systems-book-zhiming-liu-9783319296272","title":"Engineering Trustworthy Software Systems","description":"\u003cp\u003eThis volume contains the lecture notes of the five courses\nand one seminar given at the School on Engineering Trustworthy Software Systems\n(SETSS 2014), held in September 2014 at Southwest University in Chongqing,\nChina.\u003c\/p\u003e\n\nThe material is useful for postgraduate students,\nresearchers, academics and industrial engineers who are interested in the\ntheory and practice of methods and tools for the design and programming of\ntrustworthy software systems. The common themes of the courses include the\ndesign and use of theories, techniques and tools for software specification and\nmodeling, analysis and verification. The courses cover sequential programming,\ncomponent- and object software, hybrid systems and cyber-physical systems with\nchallenges of termination, security, safety, security, fault-tolerance and\nreal-time requirements. The techniques include model checking, correctness by\nconstruction through refinement and model transformations, synthesis and\ncomputer algebra.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52648404746513,"sku":"NLS9783319296272","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319296272.jpg?v=1789129011"},{"product_id":"foundations-of-health-informatics-engineering-and-systems-book-zhiming-liu-9783642323546","title":"Foundations of Health Informatics Engineering and Systems","description":"This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and selected from 23 submissions. The papers are grouped in topical sections on protocols for diagnosis and clinical trials; modeling workflows; model checking workflows and control systems; interoperability; formal modeling of organs and devices; and safety, security, and privacy of medical records.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52660417134865,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52660418478353,"sku":"NLS9783642323546","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642323546.jpg?v=1785881707"},{"product_id":"formal-aspects-of-component-software-book-jinyun-xue-9783319076010","title":"Formal Aspects of Component Software","description":"This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52668173746449,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52668174631185,"sku":"NLS9783319076010","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319076010.jpg?v=1789129395"},{"product_id":"theoretical-aspects-of-computing-ictac-2025-book-zhiming-liu-9783032111753","title":"Theoretical Aspects of Computing – ICTAC 2025","description":"\u003cp\u003eThis book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24–28, 2025.\u003c\/p\u003e\n\u003cp\u003eThe 21 full papers, 2 short papers and 1 tool paper presented in this book were carefully reviewed and selected from 64 submissions. The papers were categorized into the following topical sections: Invited Papers; Tutorial; Verification and Synthesis; Session Types; Logic and Theorem Provers; Probabilistic Systems; Automata; Cryptography and Choreography; Algorithms and Complexity; and Tool and Short Papers.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52934384877841,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52934385008913,"sku":"NLS9783032111753","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783032111753.jpg?v=1785810199"}],"url":"https:\/\/www.worldofbooks.com\/en-au\/collections\/author-books-by-zhiming-liu.oembed","provider":"World of Books ","version":"1.0","type":"link"}