Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656632
Price: 51.04 EUR
Availability: InStock
Author: Radhia Cousot
ISBN: 9783642157684

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

Radhia Cousot

Matthieu Martel

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01656632

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2010

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysi... Celoten opis

Koda Libristo: 01656632

124 b

51.04 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 3-6 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Neuronale Netze Heinrich Braun

Mehka

48.73 €

Civilisation planétaire Daniel Robin

Mehka

16.47 €

Hizir Dokunsun Dualarina Mustafa Kaya

Mehka

12.36 €

DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Knjiga

Mehka

18.68 €

Prise de bec Janer

Trda

14.46 €

Mein Taschencoach Susanne Marx

Mehka

6.93 €

Dějiny lidí Martin Rychlík

Trda

37.98 €

Sentieri sotto la neve Mario Rigoni Stern

Mehka

11.45 €

Namaiki Zakari - Frech verliebt 22 Miyuki Mitsubachi

Mehka

6.52 €

The US Navy and the South China Sea Bruce A Elleman

Trda

193.94 €

Terapia logopedyczna Edyta Joanna Lichota

Mehka

12.65 €

Wimmelrätsel-Abenteuer: Wo ist Agent A.? Laura Cowan

Trda

12.65 €

Neľahká cesta

Mehka

14.06 €

Subjektivierung 2.0 Tanja Carstensen

Mehka

40.79 €

Le conte populaire : poétique et mythologie Courtés

Mehka

27.63 €

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

Mehka

12.45 €

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

Mehka

23.20 €

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

Preglednica

10.34 €

Mobile Device Management Strategien Jan Hommes

Mehka

33.35 €

Modelagem de Conhecimento em t-Governo Paloma Maria Santos

Mehka

215.65 €

Dr. Hakan Cokerle 100 soruda Dogal Dogum Hakan Coker

Mehka

12.36 €

Die Schrammelgeigen Philharmonia Schrammeln Wien

Zvočni CD

21.81 €

Uso escolar Aula de gramática B1 Učebnice Palomino Brell María Ángeles

Mehka

15.97 €

Rammstein (Special Edition) Rammstein

Zvočni CD

30.34 €

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.