Introduction to Static Analysis
2126 Kč 2 204 Kč
Odesíláme do 5 až 7 dní
Sleva až 70% u třetiny knih
A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.
| Autor: | Rival, Xavier (Research Director, INRIA Paris-Rocquencourt); Yi, Kwangkeun (Professor, Seoul National University) |
| Nakladatel: | MIT Press Ltd |
| ISBN: | 9780262043410 |
| Rok vydání: | 2020 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 320 |
Mohlo by se vám také líbit..
-
Deep Learning
Kelleher, John D.
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Artificial Unintelligence
Broussard, Meredith
-
Reinforcement Learning
Richard Sutton
-
Machine Learning
Murphy, Kevin P.
-
A Composer's Guide to Game Music
Phillips, Winifred (Video game composer)
-
The Little Typer
Friedman, Daniel
-
Human Rights in the Age of Platforms
-
The Information Manifold
Badia, Antonio (Associate Professor, University of Louisville)
-
An Introductory Course in Computation...
Miller, Paul B.
-
Cloud Computing for Machine Learning...
Hwang, Kai (Professor of Electrical Engineering and Computer Science, University of Southern California)
-
How to Grow a Robot
Greenblatt, Mark Lee
-
Interactive Task Learning
-
Bibliometrics and Research Evaluation
Gingras, Yves (Universite du Quebec a Montreal)
-
Java Precisely
Sestoft, Peter (IT University of Copenhagen); Hansen, Henrik I. (University of Copenhagen)