Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science - Zhe Hou - Kirjat - Springer Nature Switzerland AG - 9783030878849 - maanantai 5. joulukuuta 2022
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science 1st ed. 2021 edition

Zhe Hou

Hinta
₩ 94.490

Tilattu etävarastosta

Arvioitu toimitus ti 2. - 9. heinä

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science 1st ed. 2021 edition

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.

222 pages, 6 Illustrations, color; 28 Illustrations, black and white; X, 222 p. 34 illus., 6 illus.

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 5. joulukuuta 2022
ISBN13 9783030878849
Tuottaja Springer Nature Switzerland AG
Sivujen määrä 222
Mitta 233 × 155 × 17 mm   ·   366 g
Kieli German  

Katso kaikki joka sisältää Zhe Hou ( Esim. Paperback Book Ja Hardcover Book )