Verificar estado da encomenda

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 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Verification, Model Checking, and Abstract Interpretation Radhia Cousot

Verification, Model Checking, and Abstract Interpretation

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Língua

Inglês

Livro Capa mole

Livro Verification, Model Checking, and Abstract Interpretation Radhia Cousot

Código Libristo: 01560226

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janeiro 2005

The book constitutes the refereed proceedings of the 6th International Conference on Verification, M... Descrição completa

Código Libristo: 01560226

?

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

la discesa Lucio Mencatelli

/

Capa mole

7.99 €

Meraviglie del mondo. 101 luoghi straordinari scelti da Lonely Planet

/

Capa mole

25.01 €

Una ética para laicos Rorty

/

Capa mole

6.88 €

Krajina Hudba a jej obyvatelia Gabriela Badinová; Iris Bachratá

/

Encadernação com argola

7.38 €

Koreanische Grammatik im Gebrauch - Grundstufe Jean-myung Ahn

/

Capa mole

31.89 €

Calcul Des Indicateurs de Secheresse A Partir Des Images Noaa/Avhrr Layelmam Mohammed

/

Capa mole

36.25 €

Oeuvres de Chapelle Et de Bachaumont (Nouvelle Edition) (Ed.1854) Chapelle

/

Capa mole

21.77 €

Traumangeln auf Königsfische Rainer J. Bouterwek

/

Livro de capa dura

23.49 €

Analyse, Bewertung und Interpretation von impliziten Optionen im Kreditgeschaft Björn Nadolny

/

Capa mole

22.17 €

The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.§The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on numerical abstraction, verification, heap and shape analysis, abstract model checking, model checking, applied abstract interpretation, and bounded model checking.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

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 Verification, Model Checking, and Abstract Interpretation

Autor Radhia Cousot

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2005

Número de páginas 483

EAN 9783540242970

ISBN 354024297X

Código Libristo 01560226

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

Peso 1530

Dimensões 155 x 235 x 27

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 > Arquitetura informática e conceção lógica

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

The Seen and the Unseen: Abortion and the Supreme Court MR Taylor Carmichael

/

Capa mole

11.13 €

Way of the Argosi Sebastien de Castell

/

Livro de capa dura

17.11 €

Otto the Ordinary and His Fabulous Friends Jeff Baetzel

/

Livro de capa dura

16.20 €

Crisis of this World Merrill Stephen Mason Merrill

/

Capa mole

15.08 €

Empowering Leadership of Tomorrow Ryszard Praszkier

/

Capa mole

34.63 €

The Influence of Sea Power Upon History 1660-1783 A. T. Mahan

/

Capa mole

29.87 €

Delarivier Manley: 'The New Atalantis' Manley

/

Livro de capa dura

107.76 €

Cornet Student Fred Weber

/

Capa mole

15.49 €

Froggy Is the Best Jonathan London

/

Capa mole

4.45 €

Essential Weight Loss Surgery Cookbook: 155 Delicious Recipes To Be Enjoyed After Weight Loss Surgery Lasselle Press

/

Capa mole

11.43 €

Abortion Stephane Bordeau

/

Capa mole

13.26 €

L'Inde Pittoresque (1861) Louis Enault

/

Capa mole

36.76 €

THE KING IN YELLOW 1895 ROBERT W. CHAMBERS

/

Capa mole

24.60 €

Child Health & Human Development Yearbook 2010 Joav Merrick

/

Livro de capa dura

286.72 €

Vital Health Statistics Series 2, No. 58 Centers for Disease Control and Preventi

/

Capa mole

14.07 €

Very Bad Wizard Tamler Sommers

/

Capa mole

50.94 €

Echo AQA GCSE German Higher Workbook 8 Pack Oliver Gray

/

Capa mole

60.25 €

Bloodchild Anna Stephens

/

Capa mole

10.22 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?