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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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: 1380 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

138 b

1 380 Kč

50 % šance Prohledáme celý svět Kdy knihu dostanu?

Až 30 dní na vrácení zboží

Zákazníci také koupili

Neuronale Netze Heinrich Braun

Brožovaná

1 187 Kč

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

Brožovaná

735 Kč

Die Schrammelgeigen Philharmonia Schrammeln Wien

Audio CD

530 Kč

Civilisation planétaire Daniel Robin

Brožovaná

438 Kč

DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Kniha

Brožovaná

498 Kč

Prise de bec Janer

Pevná

385 Kč

Mein Taschencoach Susanne Marx

Brožovaná

168 Kč

Dějiny lidí Martin Rychlík

Pevná

1 128 Kč

Namaiki Zakari - Frech verliebt 22 Miyuki Mitsubachi

Brožovaná

159 Kč

Neľahká cesta

Brožovaná

367 Kč

Subjektivierung 2.0 Tanja Carstensen

Brožovaná

995 Kč

Hizir Dokunsun Dualarina Mustafa Kaya

Brožovaná

302 Kč

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

Brožovaná

626 Kč

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

List

252 Kč

Mobile Device Management Strategien Jan Hommes

Brožovaná

814 Kč

Modelagem de Conhecimento em t-Governo Paloma Maria Santos

Brožovaná

5 251 Kč

Terapia logopedyczna Edyta Joanna Lichota

Brožovaná

331 Kč

Dr. Hakan Cokerle 100 soruda Dogal Dogum Hakan Coker

Brožovaná

302 Kč

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

Brožovaná

284 Kč

Entdecke das Mittelalter Albrecht Classen

Pevná

324 Kč

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

Brožovaná

266 Kč

AMERICA DAVID MCCULLOUGH

Pevná

518 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.