Introduction to Static Analysis: An Abstract Interpretation Perspective
Author:   Xavier Rival (Research Director, INRIA Paris-Rocquencourt) ,  Kwangkeun Yi (Professor, Seoul National University)
Publisher:   MIT Press Ltd
ISBN:  

9780262043410


Pages:   320
Publication Date:   11 February 2020
Recommended Age:   From 18 to 99 years
Format:   Hardback
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Our Price $135.00 Quantity:  
Add to Cart

Share |

Introduction to Static Analysis: An Abstract Interpretation Perspective


Add your own review!

Overview

Full Product Details

Author:   Xavier Rival (Research Director, INRIA Paris-Rocquencourt) ,  Kwangkeun Yi (Professor, Seoul National University)
Publisher:   MIT Press Ltd
Imprint:   MIT Press
Dimensions:   Width: 17.80cm , Height: 1.90cm , Length: 22.90cm
ISBN:  

9780262043410


ISBN 10:   0262043416
Pages:   320
Publication Date:   11 February 2020
Recommended Age:   From 18 to 99 years
Audience:   College/higher education ,  Tertiary & Higher Education
Format:   Hardback
Publisher's Status:   Active
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

Reviews

Author Information

Xavier Rival is Research Director at INRIA Paris and head of the research group on static analysis at Ecole Normale Superieure/CNRS/INRIA/PSL Kwangkeun Yi is Professor in the Department of Computer Science & Engineering at Seoul National University and head of its Programming Research Laboratory.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

wl

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now