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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656632
Price: 22264 HUF
Availability: InStock
Author: Radhia Cousot
ISBN: 9783642157684

17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Radhia Cousot

Matthieu Martel

Language

English

Book Paperback

Libristo code: 01656632

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2010

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysi... Full description

Libristo code: 01656632

152 b

22 264 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Neuronale Netze Heinrich Braun

Paperback

20 036 Ft

Entdecke das Mittelalter Albrecht Classen

Hardback

6 258 Ft

Civilisation planétaire Daniel Robin

Paperback

6 859 Ft

DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Book

Paperback

7 723 Ft

Prise de bec Janer

Hardback

6 082 Ft

Subjektivierung 2.0 Tanja Carstensen

Paperback

16 754 Ft

BAÑOS DE BOSQUE. 50 RUTAS PARA SENTIR LA NATURALEZA ALEX GESSE

Paperback

9 221 Ft

Mein Taschencoach Susanne Marx

Paperback

2 842 Ft

Goethe ALS Geschichtsphilosoph Und Die Geschichtsphilosophische Bewegung Seiner Zeit Emil Menke-Glückert

Paperback

8 675 Ft

Flex und Flo - Ausgabe 2014. Themenheft.2 Judith Beerbaum

Sheet

4 220 Ft

Mobile Device Management Strategien Jan Hommes

Paperback

13 866 Ft

AMERICA DAVID MCCULLOUGH

Hardback

7 649 Ft

Izraelská lobby a americká zahraniční politika John J. Mearsheimer

Paperback

3 795 Ft

Terapia logopedyczna Edyta Joanna Lichota

Paperback

4 442 Ft

Hizir Dokunsun Dualarina Mustafa Kaya

Paperback

5 070 Ft

Reponse d'Un Electeur A Un Ancien Constituant Gaulier-A

Paperback

5 218 Ft

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis).§The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.