Check order status

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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 01564657
Price: 45.49 EUR
Availability: InStock
Author: Manuel Hermenegildo
ISBN: 9783540442356

9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings

Manuel Hermenegildo

German Puebla

Language

English

Book Paperback

Libristo code: 01564657

Publishers Springer, Berlin, November 2001

This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, S... Full description

Libristo code: 01564657

111 b

45.49 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Teoria wszystkiego - Świadomośc, Materia, Wszechświat, Życie i Gatunki Kurup Ravikumar Kurup

Paperback

55.29 €

Die Sekundar-Elektronen-Emission Fester Koerper Hajo Bruining

Paperback

54.99 €

Europaische Voelkerrecht der Gegenwart (1882) August Wilhelm Heffter

Paperback

59.90 €

El proceso Franz Kafka

Adobe ePub DRM

7.99 €

Lago di Garda. Il portolano che naviga tra porti e curiosità Luca Tonghini

Paperback

50.99 €

This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002.The 32 revised full papers presented were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, semantics and abstract verification, and termination analysis.