Essential Logic for Computer Science
1457 Kč 1 509 Kč
Odesíláme do 1 až 2 tý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..
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Deep Learning
Kelleher, John D.
-
Artificial Unintelligence
Broussard, Meredith
-
Reinforcement Learning
Richard Sutton
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Machine Learning
Murphy, Kevin P.
-
Interactive Task Learning
-
A Course in Networks and Markets
Pass, Rafael (Assistant Professor, Cornell University)
-
The Little Schemer
Friedman, Daniel
-
How to Grow a Robot
Greenblatt, Mark Lee
-
The Little Typer
Friedman, Daniel
-
From Fingers to Digits
Boden, Margaret A.
-
Value Sensitive Design
Friedman, Batya (University of Washington); Hendry, David G. (Associate Professor, University of Washington)
-
Advanced Topics in Types and Program...
-
Java Precisely
Sestoft, Peter (IT University of Copenhagen); Hansen, Henrik I. (University of Copenhagen)
-
An Introductory Course in Computation...
Miller, Paul B.