Exactement cet exemplaire ira dans le panier
Paramètres
- 442pages
- 16 heures de lecture
En savoir plus sur le livre
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.
Achat du livre
Logic in Computer Science 2ed, Michael Huth, Mark Ryan
- Langue
- Année de publication
- 2019
- product-detail.submit-box.info.binding
- (souple),
- État du livre
- Abîmé
- Prix
- 20,68 €
Modes de paiement
Il manque plus que ton avis ici.
- Titre
- Logic in Computer Science 2ed
- Langue
- Anglais
- Auteurs
- Michael Huth, Mark Ryan
- Éditeur
- Cambridge University Press
- Publié
- 2019
- Format
- souple
- Pages
- 442
- ISBN13
- 9780521543101
- Séries
- Mots clés
- Nonfiction, Manuels, Technologie & Ingénierie, Manuels et guides, Informatique & Internet, Manuels de mathématiques, Logique
- Évaluation
- 3,95 sur 5
- Description
- 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.