Wyprzedane, ale poszukiwane!
Więcej o książce
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.
Zakup książki
Logic in Computer Science 2ed, Mark Ryan, Michael Huth
- Język
- Rok wydania
- 2019
- Oprawa
- (miękka)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Brakuje nam tutaj Twojej recenzji.
- Tytuł
- Logic in Computer Science 2ed
- Język
- angielski
- Autorzy
- Mark Ryan, Michael Huth
- Wydawca
- Cambridge University Press
- Rok wydania
- 2019
- Oprawa
- miękka
- Liczba stron
- 442
- ISBN13
- 9780521543101
- Seria
- Kategorie
- Ocena
- 3,95 z 5
- Opis
- 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.