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 8.49 € Correio DPD 4.99 € Ponto DPD 4.49 € Correio GLS 5.99 € Correio MRW 5.99 € Ponto GLS 4.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Static Analysis

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

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

Radhia Cousot

Matthieu Martel

Língua

Inglês

Livro Capa mole

Código Libristo: 01656632

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, setembro 2010

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

Código Libristo: 01656632

138 b

56.75 €

Armazenamento externalo em pequenas quantidades Envio em 3-6 dias

Até 30 dias para devoluções

Os clientes também compraram

Neuronale Netze Heinrich Braun

Capa mole

54.54 €

Namaiki Zakari - Frech verliebt 22 Miyuki Mitsubachi

Capa mole

7.34 €

Civilisation planétaire Daniel Robin

Capa mole

17.30 €

DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Livro

Capa mole

19.61 €

Prise de bec Janer

Livro de capa dura

15.19 €

Mein Taschencoach Susanne Marx

Capa mole

7.74 €

Dějiny lidí Martin Rychlík

Livro de capa dura

46.38 €

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

Capa mole

13.17 €

Sentieri sotto la neve Mario Rigoni Stern

Capa mole

12.07 €

The US Navy and the South China Sea Bruce A Elleman

Livro de capa dura

203.18 €

Hizir Dokunsun Dualarina Mustafa Kaya

Capa mole

13.78 €

Wimmelrätsel-Abenteuer: Wo ist Agent A.? Laura Cowan

Livro de capa dura

14.28 €

Neľahká cesta

Capa mole

15.19 €

Subjektivierung 2.0 Tanja Carstensen

Capa mole

45.58 €

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

Capa mole

28.97 €

Terapia logopedyczna Edyta Joanna Lichota

Capa mole

13.27 €

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

Capa mole

24.44 €

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

Folha

11.46 €

Mobile Device Management Strategien Jan Hommes

Capa mole

37.63 €

Modelagem de Conhecimento em t-Governo Paloma Maria Santos

Capa mole

242.83 €

JOVI BLANDIVER měkká modelína 460g žlutá

Artigos de papelaria

6.03 €

Dr. Hakan Cokerle 100 soruda Dogal Dogum Hakan Coker

Capa mole

13.78 €

Die Schrammelgeigen Philharmonia Schrammeln Wien

CD de áudio

24.05 €

Entdecke das Mittelalter Albrecht Classen

Livro de capa dura

17.30 €

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.