Code: 24972919
Introduction to Static Analysis
by Rival, Xavier (Research Director, INRIA Paris-Rocquencourt), Yi, Kwangkeun (Professor, Seoul National University)
A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.Static program analysis, or static analysis, aims to discover semantic properties of program ... more
- Language:
English - Binding: Hardback
- Number of pages: 320
Publisher: MIT Press Ltd, 2020
- More about this
102.70 €
Low in stock at our supplier
Shipping in 12 - 17 days
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Add to wishlist
You might also like
-
Make Money Online with Clickbank Affiliate Marketing: Build an Online Passive Income Business With This Easy Beginner Guide
10.54 € -
Women Pray for Men
15.66 € -
Death in Avignon: A Penelope Kite Novel
50.17 € -
Gabriele D'Annunzio: The Collection of Poems in English
18.32 € -
Richard Wilson - Croome Court, Worcestershire - 1.000 Teile (Puzzle)
32.15 € -9 % -
unbemerkte Blume
66.55 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Introduction to Static Analysis
You get 254 loyalty points
Book synopsis
A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.Static program analysis, or static analysis, aims to discover semantic properties of programs without
Book details
Book category Knihy po anglicky Computing & information technology Computer science
102.70 €
- Full title: Introduction to Static Analysis
- Author: Rival, Xavier (Research Director, INRIA Paris-Rocquencourt), Yi, Kwangkeun (Professor, Seoul National University)
- Language: English
- Binding: Hardback
- Number of pages: 320
- EAN: 9780262043410
- ISBN: 0262043416
- ID: 24972919
- Publisher: MIT Press Ltd
- Weight: 694 g
- Dimensions: 221 × 178 × 20 mm
- Date of publishing: 11. February 2020
Trending among others
-
Dealers of Lightning
21.09 € -
Fundamentals of Software Architecture
68.91 € -14 % -
Spark - The Definitive Guide
58.36 € -16 % -
Lego Animation Book
17.40 € -18 % -
Tony Northrup's DSLR Book
25.18 € -3 % -
Programming the BBC micro:bit: Getting Started with MicroPython
20.27 € -
Machine Learning with PyTorch and Scikit-Learn
54.57 € -
Python for Algorithmic Trading
76.18 € -5 % -
Designing Interfaces
56.62 € -15 % -
Pattern Language for Game Design
85.71 € -
Delivering Business Analysis
60 € -
Explore Software Defined Radio
17.40 € -16 % -
Schaum's Outline of Mathematica, Third Edition
30.71 € -15 % -
Cloud Native Data-Center Networking
63.69 € -5 % -
The Soul of A New Machine
19.24 € -10 % -
Head First Java: A Brain-Friendly Guide
67.68 € -16 % -
Storytelling with Data - Let`s Practice!
35.93 € -16 % -
Self-Taught Computer Scientist - The Beginner's Guide to Data Structures & Algorithms
26.41 € -20 % -
Designing for the Digital Age - How to Create Human-Centered Products and Services
69.52 € -1 % -
Book of Why
16.78 € -19 % -
DAX Patterns
37.37 € -18 % -
Learning React
53.04 € -21 % -
Cambridge International AS and A Level Computer Science Coursebook
64.20 € -
Distributed Services with Go
38.70 € -16 % -
Spring Microservices in Action
64.61 € -
Medieval Lego
15.45 € -6 % -
Fundamentals of Business Process Management
62.36 € -
Data Engineering with Apache Spark, Delta Lake, and Lakehouse
59.08 € -
Blue Fox: Arm Assembly Internals and Binary Analys is of Mobile and IoT Devices
36.55 € -21 % -
Web Development with Node and Express
47.30 € -17 % -
Silberschatz's Operating System Concepts
63.69 € -5 % -
Structure and Interpretation of Computer Programs
89.70 € -11 % -
Getting Started with Elastic Stack 8.0
57.65 € -
John von Neumann and the Origins of Modern Computing
56.72 € -
Computer Science: An Overview, Global Edition
110.49 € -
Introduction to the Theory of Computation
119.50 € -
Power Query Cookbook
59.08 € -
Mastering spaCy
59.08 € -
Windows Internals, Part 2
49.45 € -15 % -
Annotated Turing - A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
25.28 € -18 % -
Python Machine Learning
51.60 € -
Professional C# and .NET - 2021 Edition
48.33 € -21 % -
Certified Enterprise Architect All-in-One Exam Guide
69.52 € -18 % -
Computational Thinking
14.84 € -13 % -
Persuasive Technology
74.95 € -
Web Analytics 2.0 - The Art of Online Accountability and Science of Customer Centricity
38.80 € -6 % -
Semantic Modeling for Data
75.77 € -16 % -
Handbook of Usability Testing - How to Plan, Design, and Conduct Effective Tests 2e
50.68 € -21 % -
Algorithms Illuminated (Part 3)
17.19 € -19 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
21 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)