SULJE VALIKKO

avaa valikko

Hou Zhe Hou | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
Zhe Hou
Springer (2021)
Kovakantinen kirja
59,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, Octobe
Zhe Hou; Vijay Ganesh
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja
73,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
Zhe Hou
Springer (2022)
Pehmeäkantinen kirja
59,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fundamentals of Logic and Computation
Hou Zhe Hou
Springer Nature B.V. (2021)
Pehmeäkantinen kirja
115,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Si
Shang-Wei Lin; Zhe Hou; Brendan Mahony
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Sports Analytics - First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings
Jin Song Dong; Masoumeh Izadi; Zhe Hou
Springer International Publishing AG (2024)
Pehmeäkantinen kirja
126,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
AOPC 2017: Optical Spectroscopy and Imaging
Jin Yu; Zhe Wang; Wei Hang; Bing Zhao; Xiandeng Hou; Mengxia Xie; Tsutomu Shimura
SPIE Press (2018)
Pehmeäkantinen kirja
234,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
59,30 €
Springer
Sivumäärä: 222 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2021, 04.12.2021 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Computer Science

This 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.


Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verificationzoom
Näytä kaikki tuotetiedot
ISBN:
9783030878818
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste