Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
2021 ed.
by
Zhe Hou
Book Details
Format
Hardback or Cased Book
Book Series
Texts in Computer Science
ISBN-10
3030878813
ISBN-13
9783030878818
Edition
2021 ed.
Publisher
Springer Nature Switzerland AG
Imprint
Springer Nature Switzerland AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Dec 4th, 2021
Print length
222 Pages
Weight
490 grams
Dimensions
16.00 x 24.20 x 1.90 cms
Product Classification:
Computer hardwareAlgorithms & data structuresMathematical theory of computation
Ksh 9,900.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
This 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.
Get Fundamentals of Logic and Computation by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has pages.
