Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

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 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 01563611
Price: 46.03 EUR
Availability: InStock
Author: Patrick Cousot
ISBN: 9783540423140

8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings

Patrick Cousot

Língua

Inglês

Livro Capa mole

Código Libristo: 01563611

Editoras Springer, Berlin, novembro 2000

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

Código Libristo: 01563611

111 b

46.03 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

El Born CC GARCIA ESPUCHE

Livro

13.65 €

Malá noční můra Ondřej Červinka

Capa mole

1.00 €

Legge sull'edilizia e lo sviluppo, Consiglio di pianificazione dello sviluppo regionale Dr. Ir. Juni Gultom

Capa mole

54.22 €

Золото в темной ночи (Потомки Первых #1) Лия Арден

Livro de capa dura

20.53 €

Louca - Tome 10 - L'histoire de Nathan Dequier Bruno

Livro de capa dura

14.66 €

Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl

Capa mole

63.43 €

mezzi di trasporto. Baby Montessori Agnese Baruzzi

Livro concertina

5.15 €

Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli

Capa mole

81.34 €

Jeder stirbt für sich allein, 2 Audio-CDs Hans Fallada

CD de áudio

14.96 €

Standortwettbewerb und Tourismus Harald Pechlaner

Capa mole

30.04 €

Handbuch Der Architektur, 2 Band Anonymous

Capa mole

18.81 €

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.