Esaurito ma molto ricercato!
Ce l'hai a casa?Guadagna tra 29,70 € e 37,08 € vendendo questo libro con.
Vendi libriLogic in Computer Science 2ed
Autori
Valutazione del libro
Parametri
- 442pagine
- 16 ore di lettura
Maggiori informazioni sul libro
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.
Acquisto del libro
Logic in Computer Science 2ed, Mark Ryan, Michael Huth
- Lingua
- Pubblicato
- 2019
- Rilegatura
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
4,0
Molto buono
68 Valutazioni
Qui potrebbe esserci la tua recensione.
- Titolo
- Logic in Computer Science 2ed
- Lingua
- Inglese
- Autori
- Mark Ryan, Michael Huth
- Editore
- Cambridge University Press
- Pubblicato
- 2019
- Formato
- In brossura
- Pagine
- 442
- ISBN13
- 9780521543101
- Serie
- Valutazione
- 3,95 su 5
- Descrizione
- 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.