Introduction to Static Analysis
2165 Kč 2 244 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..
-
Urban Code
Mikoleit, Anne; Purckhauer, Moritz
-
The Smart Enough City
Sefton-Green, Julian (Deakin University, Australia); Watkins, S Craig; Kirshner, Ben
-
Architecture and Disjunction
Tschumi, Bernard (Bernard Tschumi Architects)
-
Experiencing Architecture
Steen Eiler Rasmussen
-
Studies in Tectonic Culture
Kenneth Frampton
-
Site Planning
Hack, Gary (Professor Emeritus, Massachusetts Institute of Technology)
-
Architecture Depends
Till, Jeremy (Head of Central Saint Martins, University of the Arts London)
-
Great Streets
Jacobs, Allan B.
-
Programs and Manifestoes on 20th-Cen...
-
The Four Books on Architecture
Palladio, Andrea
-
SITELESS
Blanciak, Francois
-
Design Unbound: Designing for Emerge...
Pendleton-Jullian, Ann M.; Brown, John Seely
-
Design Unbound: Designing for Emerge...
Pendleton-Jullian, Ann M.; Brown, John Seely
-
Buildings Must Die
Cairns, Stephen
-
Collage City
Colin Rowe
-
Laboratory Lifestyles