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

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658754
Price: 58.57 EUR
Availability: InStock
Author: Eran Yahav
ISBN: 9783642237010

18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Eran Yahav

Language

English

Book Paperback

Libristo code: 01658754

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

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

Libristo code: 01658754

141 b

58.57 €

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Sirilsiklam Asik Jill Shalvis

Paperback

13.16 €

Kam se ztratila zvířátka Pavla Hanáčková

Hardback

9.01 €

Game of Thrones 4 George Raymond Richard Martin

Hardback

31.81 €

Ketogen Food Tracker: A5 Ernährungstagebuch für über 110 Tage - Tagebuch - Ernährungstagebuch - Ketogene Diät - Abnehmtagebuch Ketogen Ernahrungstagebuch

Paperback

7.59 €

Las confesiones ROUSSEAU

Paperback

24.31 €

Spiegeltherapie in Physiotherapie und Ergotherapie Farsin Hamzei

Paperback

37.89 €

Neurologie Delpech

Paperback

13.57 €

Ballades d'amour du North end Katherena VERMETTE Book

Paperback

16.81 €

DOPPLER COLOR KREBS Y OTROS

Book

74.78 €

Pešo do neba Dušan Dušek

Hardback

10.02 €

Freiheit bei Martin Luther Anja Lobenstein-Reichmann

Hardback

275.14 €

Jim Knopf und die Wilde 13 - Die Komplettlesung, Audio-CD Michael Ende

Audio CD

19.65 €

Andres krestinov. täie rauaga

Hardback

52.08 €

Turbulence Dans Les Plasmas de Vent Solaire Et Tokamaks Dong-Y

Paperback

46.41 €

Neue Geschichten aus dem Harz Günter Richter

Paperback

31.00 €

This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011. §The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011.§The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.