Kupuješ přesně tu knihu, která je na fotce
Parametry
- 442 stránek
- 16 hodin čtení
Více o knize
Focusing on the foundations of logic, this book introduces various logical frameworks essential for modeling, specifying, and verifying computer systems. It offers a comprehensive understanding of logical principles that underpin computer science, making it a valuable resource for those interested in the intersection of logic and technology. Through clear explanations and examples, readers will gain the tools needed to apply logical reasoning in the context of system design and verification.
Nákup knihy
Logic in Computer Science 2ed, Michael Huth, Mark Ryan
- Jazyk
- Rok vydání
- 2019
- product-detail.submit-box.info.binding
- (měkká),
- Stav knihy
- Poškozená
- Cena
- 590 Kč
Doručení
Platební metody
Tady nám chybí tvá recenze.
- Titul
- Logic in Computer Science 2ed
- Jazyk
- anglicky
- Autoři
- Michael Huth, Mark Ryan
- Vydavatel
- Cambridge University Press
- Rok vydání
- 2019
- Vazba
- měkká
- Počet stran
- 442
- ISBN13
- 9780521543101
- Série
- Štítky
- Naučná literatura, Učebnice, Technologie & Průmysl, Počítače & Internet, Příručky a návody, Učebnice matematiky, Logika
- Hodnocení
- 3,95 z 5
- Anotace
- Focusing on the foundations of logic, this book introduces various logical frameworks essential for modeling, specifying, and verifying computer systems. It offers a comprehensive understanding of logical principles that underpin computer science, making it a valuable resource for those interested in the intersection of logic and technology. Through clear explanations and examples, readers will gain the tools needed to apply logical reasoning in the context of system design and verification.