Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Static Analysis

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

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

Eran Yahav

Język

Angielski

Książka Miękka

Kod Libristo: 01658754

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2011

This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysi... Cały opis

Kod Libristo: 01658754

142 b

Gwarancja
najlepszej
ceny ▸

247.94 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Sirilsiklam Asik Jill Shalvis

Miękka

55.91 zł

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

Twarda

38.34 zł

Game of Thrones 4 George Raymond Richard Martin

Twarda

117.24 zł

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

Miękka

32.01 zł

Las confesiones ROUSSEAU

Miękka

102.89 zł

Spiegeltherapie in Physiotherapie und Ergotherapie Farsin Hamzei

Miękka

140.53 zł

Neurologie Delpech

Miękka

57.61 zł

Ballades d'amour du North end Katherena VERMETTE Książka

Miękka

71.16 zł

DOPPLER COLOR KREBS Y OTROS

Książka

316.61 zł

Pešo do neba Dušan Dušek

Twarda

42.35 zł

Freiheit bei Martin Luther Anja Lobenstein-Reichmann

Twarda

967.71 zł

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

CD Audio

83.61 zł

Andres krestinov. täie rauaga

Twarda

220.44 zł

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

Miękka

196.44 zł

Neue Geschichten aus dem Harz Günter Richter

Miękka

83.61 zł

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.