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.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

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

136 b

56.03 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 14-21 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Neuronale Netze Heinrich Braun

Mehka

49.05 €

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

Mehka

9.50 €

Prise de bec Janer

Trda

15.57 €

DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Knjiga

Mehka

19.72 €

Civilisation planétaire Daniel Robin

Mehka

17.49 €

Mein Taschencoach Susanne Marx

Mehka

6.87 €

Subjektivierung 2.0 Tanja Carstensen

Mehka

41.16 €

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

Mehka

23.36 €

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

Mehka

21.03 €

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

Preglednica

10.41 €

Mobile Device Management Strategien Jan Hommes

Mehka

33.68 €

Dr. Hakan Cokerle 100 soruda Dogal Dogum Hakan Coker

Mehka

12.53 €

Modelagem de Conhecimento em t-Governo Paloma Maria Santos

Mehka

54.51 €

Entdecke das Mittelalter Albrecht Classen

Trda

13.44 €

AMERICA DAVID MCCULLOUGH

Trda

19.41 €

Terapia logopedyczna Edyta Joanna Lichota

Mehka

10.51 €

Hizir Dokunsun Dualarina Mustafa Kaya

Mehka

12.53 €

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

Mehka

12.43 €

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.