Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Static Analysis

7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Static Analysis Jens Palsberg
Código Libristo: 01567459
Editoras Springer, Berlin, novembro 1999
This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, S... Descrição completa
? points 111 b
46.07 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

No Code Pearl Jam Áudio Vinil de áudio
common.buy 36.15 €
Sahabeden 101 Hatira Mehmet Yasar Kandemir / Livro Capa mole
common.buy 10.93 €
La guerre de Secession. L'Union dechiree Romain Parmentier / Livro Capa mole
common.buy 11.94 €

This book constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, CA, USA, in June/July 2000.§The 20 revised full papers presented were carefully reviewed and selected from 52 submissions. Also included are 2 invited full papers. All current aspects of high-performance implementation and verification of programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code optimization, termination, code specialization, and guided abstraction.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Static Analysis
Autor Jens Palsberg
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2000
Número de páginas 433
EAN 9783540676683
ISBN 3540676686
Código Libristo 01567459
Editoras Springer, Berlin
Peso 649
Dimensões 155 x 235 x 23

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Medicina & enfermagem > Medicina: generalidades
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Trilateral Commission and Global Governance Dino Knudsen / Livro Livro de capa dura
common.buy 204.07 €
Essential Guide to the Dubai Real Estate Market Michael Waters / E-book Adobe ePub DRM
common.buy 59.24 €
PROLOG: Obstetrics, Ninth Edition (Assessment & Critique) College of American / E-book Adobe ePub DRM
common.buy 117.58 €
Epic Athletes: Patrick Mahomes Marcelo Baez / Livro Capa mole
common.buy 6.27 €
Fazal Sheik: Human Archipelago Fazal Sheikh / Livro Livro de capa dura
common.buy 40.00 €
Believing in Cleveland J. Mark Souther / Livro Livro de capa dura
common.buy 87.70 €
These Strange New Minds Christopher Summerfield / E-book Adobe ePub DRM
common.buy 7.48 €
Nineteenth-Century Media and the Construction of Identities Laurel Brake / Livro Livro de capa dura
common.buy 99.15 €
Fortunatus the Pessimist. a Poem. Second Edition. Alfred Austin / Livro Capa mole
common.buy 15.69 €
Principal
Vagabond (VIZBIG Edition), Vol. 7 Takehiko Inoue / Livro Capa mole
common.buy 16.50 €
Anime Rayna Denison / Livro Capa mole
common.buy 38.27 €
Roman Britain and the Roman Navy David Mason / Livro Capa mole
common.buy 22.98 €
Principal
Vagabond (VIZBIG Edition), Vol. 6 Takehiko Inoue / Livro Capa mole
common.buy 15.79 €
Evolution and Religion Henry Ward Beecher / Livro Capa mole
common.buy 29.97 €
Kangaroo D. H. LawrenceBruce Steele / Livro Capa mole
common.buy 53.16 €
Computer-Aided Scheduling of Public Transport Stefan Voß / Livro Capa mole
common.buy 91.95 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?