LiveZilla Live Chat Software
Importitall
Register/Login Login Contact UsContacts BlogBlog
Cart Items : 0 | Cart Total : R0
Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development > 1848213204
  1. Static Analysis of Software: The Abstract Interpretation
    Static Analysis of Software: The Abstract Interpretation
    Static Analysis of Software: The Abstract Interpretation
    Image(s) provided for illustrative purposes and may differ from the actual product
  2. Static Analysis of Software: The Abstract Interpretation

    [1848213204]
    Delivery: 10-20 Working Days
    Price R4516.00

     pinterest 
Additional Information

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.

The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).

Similar Products

The Web Application Hacker's Handbook: Finding and Exploiting Security Flaws
Specifications

Country
USA
Binding
Hardcover
EAN
9781848213203
Edition
1
IsAdultProduct
ISBN
1848213204
Label
Wiley-ISTE
Manufacturer
Wiley-ISTE
MPN
9781848213203
NumberOfItems
1
NumberOfPages
331
PartNumber
9781848213203
PublicationDate
2011-12-12
Publisher
Wiley-ISTE
Studio
Wiley-ISTE
ReleaseDate
0000-00-00
Please Note

The authorised South African distributor of this product is under no obligation to honour the manufacture's guarantees/warranties or to provide after-sales service.

Please note that this item is imported from the USA, and is designed to be used in the USA. In addition, if the unit is powered it will come with a US plug and an adapter/transformer may be required. Please click here for more information on power requirements, or check with us if you are unsure or need any assistance!

Please also note that certain items cannot be imported, these include Alcohol, Animals, Batteries, Flammable Materials, Currency, Food, Furs, Chemicals, Explosives, Medications, Plants, Seeds, Supplements, Pressurized Cans, Tactical Equipment, Vitamins, Weaponry and Weaponry Accessories. In these cases, the item and information is displayed for reference purposes only. If you are not sure if we are permitted to bring an item, please send us an e-mail with a link to the item to confirm.

Please also ensure that you are ordering the correct item for your particular application as returns to the USA are costly. Product reviews are also provided for most of our items, which can give you a good idea for possible things to look out for and the quality of the item. By clicking Add to Cart, you are confirming that the item is correct and you accept the conditions listed here.