{"product_id":"9783030878849","title":"Texts in Computer Science: With Practical Automated Reasoning and Verification","description":"\u003ch1\u003eTexts in Computer Science: With Practical Automated Reasoning and Verification\u003c\/h1\u003e \u003ch2\u003eHou, Zhe\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cdiv\u003e\u003cbr\u003e\u003c\/div\u003e\u003cdiv\u003eThis textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle\/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity. The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for a high-level undergraduate course or a Master's course. The hybrid skill set of practical theorem proving and model checking should be helpful for the future of readers should they pursue a research career or engineering informal methods.\u003cbr\u003e\n\u003c\/div\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2022-12-05\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783030878849\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-030-87882-5\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 222\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":44398588264588,"sku":"9783030878849","price":58.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783030878849.jpg?v=1775734490","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783030878849","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}