Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Static Analysis

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

125 b

18 818 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Europaische Voelkerrecht der Gegenwart (1882) August Wilhelm Heffter

Paperback

19 449 Ft

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

Paperback

23 019 Ft

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.