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: 20277 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

136 b

20 277 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Ces petits riens qui nous animent... Claire Norton

Paperback

8 680 Ft

Osmoregolazione in un'alofita Atriplex halimus L. Samira SOUALEM

Paperback

24 269 Ft

Orákulum Elfů a Víl Nancy Marie Brown

Paperback

6 560 Ft

El proceso Franz Kafka

Adobe ePub DRM

3 407 Ft

Wenn nichts fehlt, wo Gott fehlt Jan Loffeld

Hardback

8 233 Ft

Europaische Voelkerrecht der Gegenwart (1882) August Wilhelm Heffter

Paperback

21 116 Ft

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

Paperback

25 060 Ft

Dytyramby dionizyjskie Nietzsche Fryderyk

Paperback

735 Ft

Die Sekundar-Elektronen-Emission Fester Koerper Hajo Bruining

Paperback

20 847 Ft

Rosas para Emilia Virginia Camacho

Paperback

8 265 Ft

Wilhelm von Humboldt - Lichtstrahlen. Aus seinen Briefen an eine Freundin, Frau von Wolzogen, Schiller, G. Forster, F.A. Wolf Elisa Maier

Hardback

12 045 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.