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 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

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Tortų Meistryste: Magiskos Skonio Pasakos Emilija Kazlauskaitė

/

Capa mole

24.40 €

lezione di un maestro. Scritti su Santo Mazzarino Mario Mazza

/

Capa mole

22.98 €

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

/

Livro de capa dura

9.71 €

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

/

Capa mole

13.26 €

Koran Hermann-Josef Frisch

/

Capa mole

11.23 €

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

/

Capa mole

15.69 €

Sóvárgás Tracy Wolff

/

Livro de capa dura

13.06 €

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

/

Capa mole

17.92 €

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

/

Capa mole

133.38 €

Stvorenie hriechu Michal Kučerka

/

Capa mole

6.37 €

Erken Cocukluk Kitapligi Aile Agaci Haydi Ögrenelim Nuria Roca

/

Capa mole

6.07 €

In seinem Garten liebt Don Perlimplin Belisa Wolfgang Fortner

/

Capa mole

7.79 €

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

Cybersecurity Evan Jones

/

Capa mole

41.82 €

Magical Rescue Vets: Suki the Sea Dragon Morgan Huff

/

Capa mole

4.85 €

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

/

Livro de capa dura

22.98 €

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

/

Capa mole

17.41 €

THE CHRISTIAN RECOVERY OF SPAIN, BEING T HENRY EDWARD WATTS

/

Livro de capa dura

40.81 €

Truths of Spiritualism Wilson Ebenezer V. Wilson

/

Capa mole

23.69 €

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

/

Capa mole

11.03 €

Unlevel Crossings Michael O'Leary

/

Capa mole

6.07 €

Letters from Dollar the Contributor Bunny McCollonough Ceili

/

Capa mole

7.28 €

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

/

Capa mole

16.60 €

Advanced Concepts for Intelligent Vision Systems Jacques Blanc-Talon

/

Capa mole

46.07 €

NRSV Reference Bible, NR560:X BIBLE

/

Livro de capa dura

18.02 €

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

/

Capa mole

6.47 €

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

/

Capa mole

11.84 €

History of the Roman Empire John Bagnell Bury

/

Capa mole

32.30 €

British India and Victorian Literary Culture NI FHLATHUIN MAIRE

/

Capa mole

32.81 €

Communities and Livelihood Strategies in Developing Countries Keshav Lall Maharjan

/

Capa mole

91.95 €

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

/

Livro de capa dura

46.07 €

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

/

Capa mole

16.20 €

Self-Determination and Secession in International Law Christian Walter

/

Livro de capa dura

182.60 €

History, Politics, and the Novel Dominick LaCapra

/

Capa mole

45.16 €

In Subordination Mary Kinnear

/

Capa mole

40.50 €

Physics of High Power Laser Matter Interactions H. Takabe

/

Livro de capa dura

144.93 €

Factors Affecting Calf Crop Michael J. Fields

/

Livro de capa dura

276.19 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?