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

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Verification, Model Checking, and Abstract Interpretation Bernhard Steffen

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Bernhard Steffen

Língua

Inglês

Livro Capa mole

Livro Verification, Model Checking, and Abstract Interpretation Bernhard Steffen

Código Libristo: 01558944

Editoras Springer, Berlin, novembro 2003

This book constitutes the refereed proceedings of the 5th International Conference on Verification,... Descrição completa

Código Libristo: 01558944

?

points

125 b

51.65 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca

/

Capa mole

6.46 €

lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza

/

Capa mole

27.59 €

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė

/

Capa mole

30.01 €

Vieš, ako veľmi ťa ľúbim? Alma Grossová

/

Livro de capa dura

13.54 €

In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner

/

Capa mole

8.89 €

"Me noto muy cambiá" JOSE L. CUERDA

/

Capa mole

12.02 €

Koran Hermann-Josef Frisch

/

Capa mole

12.63 €

Bulletin de la Société archéologique de Nantes et du département de la Loire-inférieure SOCIETE DE NANTES

/

Capa mole

18.39 €

Sóvárgás Tracy Wolff

/

Livro de capa dura

15.76 €

Jeremias librorum sacrorum interpres atque vindex Augustus Kueper

/

Livro de capa dura

109.17 €

La configuración de la nueva Europa: aspectos políticos, institucionales y estratégicos Garrido Rebolledo

/

Capa mole

19.50 €

La Carta de Derechos Fundamentales de la Unión Europea. Diez Años de Jurisprudencia López Castillo

/

Capa mole

147.08 €

Stvorenie hriechu Michal Kučerka

/

Capa mole

7.67 €

Goutte, Le Rhumatisme Et Les Diverses Manifestations de la Diathese Arthritique PETIT-C

/

Capa mole

15.56 €

This book constitutes the refereed proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004, held in Venice, Italy in January 2004.The 22 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections on security, formal methods, model checking, software checking, liveness and completeness, and miscellaneous.

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 Bernhard Steffen, Giorgio Levi

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2004

Número de páginas 325

EAN 9783540208037

ISBN 3540208038

Código Libristo 01558944

Editoras Springer, Berlin

Peso 480

Dimensões 156 x 234 x 18

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

Unlevel Crossings Michael O'Leary

/

Capa mole

7.17 €

Brill's New Pauly, Antiquity, Volume 5 (Equ - Has) Helmuth Schneider

/

Livro de capa dura

465.13 €

British India and Victorian Literary Culture NI FHLATHUIN MAIRE

/

Capa mole

39.21 €

History of the Roman Empire John Bagnell Bury

/

Capa mole

36.59 €

Demoniality: Or, Incubi And Succubi (1879) Ludovico Maria Sinistrari

/

Capa mole

13.23 €

NRSV Reference Bible, NR560:X BIBLE

/

Livro de capa dura

21.32 €

Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon

/

Capa mole

51.65 €

Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius

/

Capa mole

18.79 €

Letters from Dollar the Contributor Bunny McCollonough Ceili

/

Capa mole

8.58 €

30 Worksheets - Finding Larger Number of 10 Digits: Math Practice Workbook Kapoo Stem

/

Capa mole

7.67 €

The Things We Do For Love: Luke & Shelly Anita Louise

/

Capa mole

13.03 €

Truths of Spiritualism Wilson Ebenezer V. Wilson

/

Capa mole

26.78 €

THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS

/

Livro de capa dura

43.26 €

A Letter Addressed To The Lord Viscount Melbourne (1837) Cecil Fane

/

Capa mole

19.30 €

Magical Rescue Vets: Suki the Sea Dragon Morgan Huff

/

Capa mole

5.95 €

Hymns Translated From The Welsh By Mrs.penderel Llewelyn William Williams

/

Livro de capa dura

26.88 €

Cybersecurity Evan Jones

/

Capa mole

47.20 €

Self-Determination and Secession in International Law Christian Walter

/

Livro de capa dura

213.30 €

Geometry IV Yu. G. Reshetnyak

/

Livro de capa dura

114.33 €

Archaeology and Heritage of the Human Movement into Space Beth Laura O Leary

/

Livro de capa dura

51.65 €

Advanced Psychic Development - Learn how to practise as a professional contemporary spiritual medium Becky Walsh

/

Capa mole

12.93 €

Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan

/

Capa mole

102.90 €

History, Politics, and the Novel Dominick LaCapra

/

Capa mole

51.24 €

In Subordination Mary Kinnear

/

Capa mole

44.47 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?