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 Computer Aided Verification Ahmed Bouajjani

Computer Aided Verification

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Ahmed Bouajjani

Língua

Inglês

Livro Capa mole

Livro Computer Aided Verification Ahmed Bouajjani

Código Libristo: 01650024

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

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... Descrição completa

Código Libristo: 01650024

?

points

249 b

103.10 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

BMG - Bundesmeldegesetz (Deutschland) 2026 Gesetze24 Deutschland

/

Capa mole

11.03 €

Energie Vaclav Smil

/

Livro de capa dura

16.50 €

Oheň Jane Caseyová

/

Livro de capa dura

11.54 €

El espia que no sabia contar Karlos San Pedro

/

Capa mole

12.45 €

CAPTATION AUDIOVISUELLE DES SPECTACLES VIVANTS GUILLOUX JEAN-MARIE

/

Capa mole

29.67 €

Jydsk Staevne: Et Aarsskrift... Jeppe Aakj R.

/

Capa mole

21.97 €

Contos que n?o se contam Rohrig C

/

Capa mole

6.17 €

Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder

/

Capa mole

13.26 €

Klekání Francis Jammes

/

Folha

8.90 €

Modernes Sachsen Ralph Lindner

/

Capa mole

20.85 €

Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner

/

Livro de capa dura

30.48 €

Cómo estudiar 2. Ejercicios prácticos Antonio Vallés Arándiga

/

Capa mole

15.59 €

Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek

/

Capa mole

10.12 €

Etude comparative et Amélioration des protocoles de Routage(LEACH&SEP) Rahma Gantassi

/

Capa mole

58.84 €

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.§The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.

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 Computer Aided Verification

Autor Ahmed Bouajjani, Oded Maler

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2009

Número de páginas 722

EAN 9783642026577

ISBN 3642026575

Código Libristo 01650024

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

Peso 1116

Dimensões 155 x 235 x 40

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados

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 > Análise e conceção de sistemas

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Informática & tecnologia da informação > Ciência informática > Inteligência artificial

Informática & tecnologia da informação > Sistemas operativos

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

Parallel and Distributed Computing and Networks Luo Qi

/

Capa mole

58.43 €

Environmentally Friendly Alkylphosphonate Herbicides Hong-Wu He

/

Capa mole

103.10 €

One Graham Priest

/

Capa mole

60.25 €

Learn English through Classic Tales Mark Cameron

/

Capa mole

13.36 €

Kitsune Nicolette Andrews

/

Capa mole

20.25 €

New York City's Italian Neighborhoods Raymond Guarini

/

Capa mole

21.56 €

Advances in Chitin/Chitosan Characterization and Applications Marguerite Rinaudo

/

Capa mole

79.60 €

Cultural History of the Senses in Antiquity Jerry Toner

/

Capa mole

47.90 €

Chinese Central Asia Henry Lansdell

/

Capa mole

31.29 €

Democratic Incongruities D. Judge

/

Capa mole

53.37 €

Advanced Penetration Testing for Highly-Secured Environments - Lee Allen

/

Capa mole

66.74 €

Ella Warner US Marshal JL 'DOC' PENDLAND

/

Capa mole

19.33 €

Lectures On The Baptismal Regeneration Controversy Charles Stovel

/

Capa mole

26.53 €

Color Atlas of Embryology U. Drews

/

Capa mole

53.26 €

Group Theory for Physicists Zhong-Qi Ma

/

Capa mole

47.80 €

Money, and the Law of Attraction Esther Hicks

/

Cartões

22.88 €

Checkmating Aliens Soma Vira

/

Capa mole

10.62 €

Granular Physics Anita Mehta

/

Capa mole

67.04 €

Creation of the Roman Frontier Stephen L. Dyson

/

Livro de capa dura

176.12 €

Molten Salts Chemistry Frederic Lantelme

/

Livro de capa dura

217.75 €

Autobiographical Statements in Twentieth-Century Russian Literature Jane Gary Harris

/

Livro de capa dura

144.82 €

Cities, Business, and the Politics of Urban Violence in Latin America Eduardo Moncada

/

Livro de capa dura

79.50 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?