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: 01568998
Price: 1182 CZK
Availability: InStock
Author: Hanne Riis Nielson
ISBN: 9783540740605

14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Hanne Riis Nielson

Gilberto Filé

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01568998

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpen 2007

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

Libristo kód: 01568998

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Hitze Sina de Malafosse

Brožovaná

259 Kč

The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff

Brožovaná

320 Kč

Tomke gräbt Julia Dürr

Pevná

328 Kč

Discorsi di genere nelle politiche egiziane Haytham Mones

Brožovaná

732 Kč

Economía y sostenibilidad en la Amazonia Aurisa Paiva

Brožovaná

1 459 Kč

Struttura Dell'Anima Jeffrey Wolf Green

Brožovaná

532 Kč

Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller

Brožovaná

1 544 Kč

Ernst Jünger Helmuth Kiesel

Brožovaná

398 Kč

Einhorn Malbuch: Band 1 - Von 4 bis 8 Jahren - 50 Einhornzeichnungen - Großformat, 21,6 x 28 cm Meine Feenwelt Malvorlagen

Brožovaná

176 Kč

Lie Down In The Light Bonnie 'Prince' Billy

Audio CD

228 Kč

EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES

Brožovaná

541 Kč

Es werde Licht Frido Mann

Brožovaná

309 Kč

ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Tiskovina

Noty

480 Kč

La beauté du geste Rey

Brožovaná

472 Kč

Qualitative Sozialforschung Thomas Heinze

Brožovaná

865 Kč

Germanen und Slaven Georg Buschan

Brožovaná

267 Kč

Barth'l'my Styx T1: La Mer Aux Esprits Rossi Anne

Brožovaná

524 Kč

Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa

Pevná

2 017 Kč

Staudinger BGB §§ 883-902 Karl-Heinz Gursky

Pevná

7 255 Kč

Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer

DVD

383 Kč

SAN JUDAS 27 (La catedral del dolor)

Brožovaná

511 Kč

Horoskopdeutung für den Vater Sina Nuêmo

Brožovaná

406 Kč

This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysis, SAS 2007, held in Kongens Lyngby, Denmark in August 2007 - co-located with LOPSTR 2007, the International Symposium on Logic-based Program Synthesis and Transformation and PLID 2007, the International Workshop on Programming Language Interference and Dependence.§The 22 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 85 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimisations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.