Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Static Analysis

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

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

Radhia Cousot

Matthieu Martel

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01656632

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2010

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysi... Celý popis

Libristo kód: 01656632

136 b

1 355 Kč

Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Neuronale Netze Heinrich Braun

Brožovaná

1 187 Kč

Entdecke das Mittelalter Albrecht Classen

Pevná

427 Kč

Civilisation planétaire Daniel Robin

Brožovaná

468 Kč

DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Kniha

Brožovaná

527 Kč

Prise de bec Janer

Pevná

415 Kč

Subjektivierung 2.0 Tanja Carstensen

Brožovaná

995 Kč

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

Brožovaná

629 Kč

Mein Taschencoach Susanne Marx

Brožovaná

167 Kč

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

Brožovaná

509 Kč

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

List

253 Kč

Mobile Device Management Strategien Jan Hommes

Brožovaná

814 Kč

AMERICA DAVID MCCULLOUGH

Pevná

522 Kč

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

Brožovaná

231 Kč

Terapia logopedyczna Edyta Joanna Lichota

Brožovaná

289 Kč

Hizir Dokunsun Dualarina Mustafa Kaya

Brožovaná

303 Kč

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

Brožovaná

315 Kč

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.