Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568998
Price: 46.07 EUR
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é

Língua

Inglês

Livro Capa mole

Código Libristo: 01568998

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2007

This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysi... Descrição completa

Código Libristo: 01568998

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Hitze Sina de Malafosse

Capa mole

10.02 €

The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff

Capa mole

11.84 €

Tomke gräbt Julia Dürr

Livro de capa dura

12.65 €

Discorsi di genere nelle politiche egiziane Haytham Mones

Capa mole

28.35 €

Economía y sostenibilidad en la Amazonia Aurisa Paiva

Capa mole

56.61 €

Struttura Dell'Anima Jeffrey Wolf Green

Capa mole

19.64 €

Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller

Capa mole

60.25 €

Ernst Jünger Helmuth Kiesel

Capa mole

15.39 €

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

Capa mole

6.47 €

Lie Down In The Light Bonnie 'Prince' Billy

CD de áudio

9.41 €

EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES

Capa mole

18.93 €

Es werde Licht Frido Mann

Capa mole

11.94 €

ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Artigos impressos

Partituras

16.40 €

La beauté du geste Rey

Capa mole

16.09 €

Qualitative Sozialforschung Thomas Heinze

Capa mole

33.72 €

Germanen und Slaven Georg Buschan

Capa mole

10.32 €

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

Capa mole

17.92 €

Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa

Livro de capa dura

71.70 €

Staudinger BGB §§ 883-902 Karl-Heinz Gursky

Livro de capa dura

283.58 €

Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer

DVD

15.08 €

SAN JUDAS 27 (La catedral del dolor)

Capa mole

19.94 €

Horoskopdeutung für den Vater Sina Nuêmo

Capa mole

15.79 €

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.