{"title":"Zhe Hou","description":null,"products":[{"product_id":"fundamentals-of-logic-and-computation-springer-nature-switzerland-ag-9783030878849-with-practical-automated-reasoning-and-verification-zhe-hou","title":"Fundamentals of Logic and Computation","description":"\u003cp\u003eThis textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.\u003c\/p\u003e","brand":"Zhe Hou","offers":[{"title":"Default Title","offer_id":52274112463190,"sku":"9783030878849","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030878849.jpg?v=1767811982"},{"product_id":"fundamentals-of-logic-and-computation-springer-nature-switzerland-ag-9783030878818-with-practical-automated-reasoning-and-verification-zhe-hou","title":"Fundamentals of Logic and Computation","description":"\u003cp\u003eThis textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.\u003c\/p\u003e","brand":"Zhe Hou","offers":[{"title":"Default Title","offer_id":52274112659798,"sku":"9783030878818","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030878818.jpg?v=1767811980"},{"product_id":"automated-technology-for-verification-and-analysis-springer-nature-switzerland-ag-9783030888848-19th-international-symposium-atva-2021-gold-coast-qld-australia-october-18-22-2021-proceedings-zhe-hou","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Automated Technology for Verification and Analysis,\" authored by Zhe Hou and published by Springer Nature Switzerland AG in 2021. This first edition, spanning 382 pages, presents the refereed proceedings of the prestigious 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), held in the scenic Gold Coast, Australia, in October 2021. This comprehensive volume delves into the latest advancements in automated technology, offering invaluable contributions from leading experts in the field. Ideal for researchers, practitioners, and students alike, this book is a must-have resource for anyone interested in the future of verification and analysis technologies. Enhance your understanding and stay ahead in this rapidly evolving domain with this essential text.\u003c\/p\u003e","brand":"Zhe Hou","offers":[{"title":"Default Title","offer_id":52279708025174,"sku":"9783030888848","price":78.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030888848.jpg?v=1767824087"}],"url":"https:\/\/www.englishbook.pt\/collections\/zhe-hou.oembed","provider":"Bookshop","version":"1.0","type":"link"}