Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Introduction to Static Analysis
Language
English
English
Book
Hardback
A self-contained introduction to abstract interpretation-based static analysis, an essential resourc...
Libristo code: 24972919
?
206 b
206 b
85.02
€
Low in stock at our supplier
Shipping in 11-15 days
Up to 30 days for returns
Customers also purchased
/
Paperback
17.84
€
/
Sheet music
17.24
€
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
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Introduction to Static Analysis
Author
Rival, Xavier (Research Director, INRIA Paris-Rocquencourt), Yi, Kwangkeun (Professor, Seoul National University)
Language
English
English
Binding
Book - Hardback
Date of issue
2020
Number of pages
320
EAN
9780262043410
ISBN
0262043416
Libristo code
24972919
Publishers
MIT Press Ltd
Weight
694
Dimensions
178 x 221 x 20
Categories
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
28.23
€
/
Paperback
8.56
€
/
Paperback
15.73
€
/
Hardback
19.36
€
Book advisor Libroamiko
By using this chat, you are communicating with generative artificial intelligence. By using it, you also agree to the processing of personal data.
Hi! I'm Libroamiko, your book advisor.
How can I help you?
Hi, I'm Libroamiko, can I help?