Introduction to Static Analysis
2171 Kč 2 250 Kč
Odesíláme do 1 až 2 tý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.
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Reinforcement Learning
Richard Sutton
-
The Sciences of the Artificial
Bangert, Simon Herbert
-
Machine Learning
Murphy, Kevin P.
-
An Introduction to Agent-Based Modeling
Wilensky, Uri; Rand, William
-
The Little Typer
Friedman, Daniel
-
How AI Is Transforming the Organization
Review, MIT Sloan Management (Paul Michelman)
-
International Relations in the Cyber...
Choucri, Nazli (Massachusetts Institute of Technology); Clark, David D. (Senior Research Scientist, MIT)
-
Interactive Task Learning
-
An Introductory Course in Computation...
Miller, Paul B.
-
Real-World Algorithms
Louridas, Panos (Athens University of Economics and Business)
-
Foundations of Machine Learning
Mohri, Mehryar (New York University); Rostamizadeh, Afshin (Google, Inc.); Talwalkar, Ameet (University of California, B
-
From Fingers to Digits
Boden, Margaret A.
-
The Scheme Programming Language
Dybvig, R.Kent
-
How to Grow a Robot
Greenblatt, Mark Lee