Essential Logic for Computer Science
1752 Kč
Odesíláme do 5 až 7 dní
Sleva až 70% u třetiny knih
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.
| Autor: | Page, Rex (Professor (Emeritus), University of Oklahoma); Gamboa, Ruben (University of Wyoming) |
| Nakladatel: | MIT Press Ltd |
| ISBN: | 9780262039185 |
| Rok vydání: | 2019 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 304 |
Mohlo by se vám také líbit..
-
Energy and Civilization
Václav Smil
-
Harvesting the Biosphere
Václav Smil
-
Power Density
Václav Smil
-
The Smart Enough City
Sefton-Green, Julian (Deakin University, Australia); Watkins, S Craig; Kirshner, Ben
-
Deep Learning
Kelleher, John D.
-
Reinforcement Learning
Richard Sutton
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Resonant Games
Klopfer, Eric (Professor and Director of the MIT Scheller Teacher Education Program and Education Arcade, Massachusetts
-
Dissidence
LeDuc, Marie (Independent Scholar)
-
Law as Refuge of Anarchy
Amborn, Hermann
-
A Brain for Numbers
Nieder, Andreas (Professor of Animal Physiology, University of Tubingen)
-
Beyond the Self
Matthieu Ricard
-
The Prime Number Conspiracy
-
Artificial Unintelligence
Broussard, Meredith
-
Enlivenment
Andreas Weber