Static Analysis
Radhia Cousot, David a. Schmidt
₹5,576
Static Analysis
17th International Symposium
by Radhia Cousot, Matthieu Martel
Springer · 2010
₹5,636
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Static Analysis: 17th International Symposium by Radhia Cousot & Matthieu Martel is a 471-page book published by Springer in 2010. It belongs to the Advanced research in computing and software science series.
Topics covered include Computer programming, Congresses, Programming languages (Electronic computers) and Logic design.
Book details
- ISBN-13
- 9783642157684
- ISBN-10
- 3642157688
- Authors
- Radhia Cousot, Matthieu Martel
- Publisher
- Springer
- Published
- 2010
- Series
- Advanced research in computing and software science
- Pages
- 471
- Language
- English
- Condition
- New
- Subject
- Programming languages
More by Radhia Cousot and related titles
The Unified Modeling Language
Martin Schader, A. Korthaus
₹8,164
Learn to Program with C++
John Smiley
₹3,975
A Java Library of Graph Algorithms and Optimization
Hang T. Lau
₹4,992
Autonomic Computing Enabled Cooperative Networked Design
Michał Wódczak
₹3,260
The Lean Mindset
Mary Poppendieck, Tom Poppendieck
₹3,468
Introducing Monte Carlo Methods with R
Christian P. Robert, George Casella
₹3,945
Programming Languages and Systems
Peter Sestoft
₹5,552
IOS 11 Swift Programming Cookbook
Vandad Nahavandipoor
₹4,134
Waite Group's C++ Primer Plus
Stephen Prata
₹13,119
Scala Functional Programming Patterns
Atul Khot
₹3,137
Compiler Construction
Alan Mycroft, Andreas Zeller
₹5,520