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..
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Reinforcement Learning
Richard Sutton
-
Deep Learning
Kelleher, John D.
-
The Promise of Artificial Intelligence
Smith, Brian
-
The Deep Learning Revolution
Sejnowski, Terrence J. (Francis Crick Professor, Salk Institute for Biological Studies)
-
Machine Learning
Murphy, Kevin P.
-
From Fingers to Digits
Boden, Margaret A.
-
Essential Logic for Computer Science
Page, Rex (Professor (Emeritus), University of Oklahoma); Gamboa, Ruben (University of Wyoming)
-
The AI Advantage
Davenport, Thomas H.
-
Security Requirements Engineering
Dalpiaz, Fabiano (Assistant Professor, Utrecht University); Paja, Elda (University of Trento); Giorgini, Paolo (Universi
-
Artificial Unintelligence
Broussard, Meredith
-
How AI Is Transforming the Organization
Review, MIT Sloan Management (Paul Michelman)
-
The Little Typer
Friedman, Daniel
-
Introduction to AI Robotics
Murphy Robin
-
Handbook of Game-Based Learning
-
Introduction to Natural Language Pro...
Eisenstein, Jacob (Assistant Professor, 20 Aloha Street)