Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 01564657
Price: 53.79 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

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Europaische Voelkerrecht der Gegenwart (1882) August Wilhelm Heffter

Paperback

59.90 €

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

Paperback

60.59 €

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.