Static Analysis of Software : The Abstract Interpretation
Book Details
Format
Hardback or Cased Book
ISBN-10
1848213204
ISBN-13
9781848213203
Publisher
ISTE Ltd and John Wiley & Sons Inc
Imprint
ISTE Ltd and John Wiley & Sons Inc
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Nov 25th, 2011
Print length
331 Pages
Weight
644 grams
Dimensions
24.10 x 16.30 x 2.50 cms
Product Classification:
Software Engineering
Ksh 28,050.00
Werezi Extended Catalogue
Delivery in 28 days
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc.
Get Static Analysis of Software by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by ISTE Ltd and John Wiley & Sons Inc and it has pages.
