Introduction to Static Analysis
2197 Kč 2 277 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..
-
The Promise of Artificial Intelligence
Smith, Brian
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
The AI Advantage
Davenport, Thomas H.
-
Reinforcement Learning
Richard Sutton
-
How Smart Machines Think
Gerrish, Sean
-
Algorithms for Optimization
Kochenderfer, Mykel J.
-
An Introduction to Agent-Based Modeling
Wilensky, Uri; Rand, William
-
Distributed Algorithms
Fokkink, Wan (Professor of theoretical computer science at the Vrije Universiteit Amsterdam, Vrije Universiteit Amsterda
-
Real-World Algorithms
Louridas, Panos (Athens University of Economics and Business)
-
Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel
-
Machine Learning
Murphy, Kevin P.
-
The Reasoned Schemer
Friedman, Daniel
-
The Little Typer
Friedman, Daniel
-
Introduction to Natural Language Pro...
Eisenstein, Jacob (Assistant Professor, 20 Aloha Street)
-
Value Sensitive Design
Friedman, Batya (University of Washington); Hendry, David G. (Associate Professor, University of Washington)
-
International Relations in the Cyber...
Choucri, Nazli (Massachusetts Institute of Technology); Clark, David D. (Senior Research Scientist, MIT)