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

Computer Aided Verification

7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings

Língua

Inglês

Livro Capa mole

Livro Computer Aided Verification Pierre Wolper

Código Libristo: 05274476

Editoras Springer, Berlin, novembro 1994

This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Descrição completa

Código Libristo: 05274476

?

points

132 b

54.47 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Controla Tú Vida Comiendo Sano: Conoce la armonía de comer bien y tener control de tu vida Ivan Garcia

/

Capa mole

7.69 €

Cronicando COUTO

/

Capa mole

21.76 €

L'Olimpia Giambattista della Porta

/

Livro de capa dura

19.03 €

notti chiare Carlotta Cubeddu

/

Livro de capa dura

16.90 €

Manager pour apprendre SHOOK

/

Capa mole

43.63 €

Le Parc Naturel Régional du Morvan à pied collegium

/

Capa mole

20.55 €

Papiermache Figuren selbst gebaut Anke Redhead

/

Capa mole

13.96 €

Les Fables de La Fontaine - Livre 1-2-3-4 Jean De La Fontaine

/

Capa mole

21.96 €

Lebensversicherungsvertrage A Kaindl

/

Capa mole

8.60 €

Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner

/

CD de áudio

9.10 €

Die Kunst des Zweifelns Andreas U. Sommer

/

Capa mole

10.82 €

Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser

/

Capa mole

26.52 €

Panorama della letteratura italiana: Dae origini ai giorni nostri Ciro Roselli

/

Capa mole

18.42 €

Grain EP ZS

/

CD de áudio

15.18 €

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

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

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1995

Número de páginas 456

EAN 9783540600459

ISBN 3540600450

Código Libristo 05274476

Editoras Springer, Berlin

Peso 622

Dimensões 156 x 234 x 23

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica

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

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

Meat me: The end of a new beginning Sharon Ann De Jong

/

Capa mole

12.34 €

Adaptive Coding and Modulation Romana Rafi

/

Capa mole

51.53 €

TISSUE BANKS: IS THE FEDERAL GOVERNMENT'S OVERSIGHT ADEQUATE? United States Congress Senate Committee

/

Capa mole

26.32 €

Science of Mother-Infant Sleep: Current Findings on Bedsharing, Breastfeeding, Sleep Training, and Normal Infant Sleep Wendy Middlemiss

/

Capa mole

14.88 €

Psychotraumatology George S. Everly Jr.

/

Capa mole

226.82 €

Blake's Reading Log Martha Day Zschock

/

Capa mole

8.39 €

Jane Butel's Simply Southwestern Jane Butel

/

Livro de capa dura

26.82 €

Advances in Systems Biology Igor Goryanin

/

Capa mole

226.82 €

My First Encyclopedia of Trees (giant Size) Richard McGinlay

/

Capa mole

5.96 €

Easy Ukulele Songs Rebecca Bogart

/

Capa mole

10.32 €

Farmer's Magazine Anonymous

/

Livro de capa dura

38.27 €

World's Divide Books 1-4 Collection Ryan Eugene Hartung

/

Capa mole

12.24 €

Sacred Hymns and Spiritual Songs Anonym

/

Capa mole

30.27 €

5-Minute Bible Study for Women Emily Biggers

/

Capa mole

6.27 €

The Administration Of Iowa: A Study In Centralization, Issues 46-48 Harold Martin Bowman

/

Capa mole

34.52 €

Theory and New Applications of Swarm Intelligence Rafael Parpinelli

/

Livro de capa dura

121.50 €

Now You Know Royalty Doug Lennox

/

Adobe ePub DRM

5.76 €

I Am A Key Larry Odell Johnson

/

Capa mole

12.75 €

Metropolitan Poor Vol 5 Masaie Matsumura

/

Livro de capa dura

152.69 €

Diffusion and Use of Genomic Innovations in Health and Medicine Roundtable on Translating Genomic-Based Research for Health

/

Capa mole

63.08 €

Crisis of Gender and the Nation in Korean Literature and Cinema Kelly Y. Jeong

/

Livro de capa dura

127.48 €

Perspectives on U.S. Policy Toward North Korea Sharon Richardson

/

Capa mole

63.89 €

Archive Stories Antoinette Burton

/

Livro de capa dura

139.83 €

Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis

/

Capa mole

162.92 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?