Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

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

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

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

111 b

46.03 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

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

6.47 €

Cronicando COUTO

/

Capa mole

18.91 €

L'Olimpia Giambattista della Porta

/

Livro de capa dura

15.77 €

notti chiare Carlotta Cubeddu

/

Livro de capa dura

14.26 €

Manager pour apprendre SHOOK

/

Capa mole

35.50 €

Papiermache Figuren selbst gebaut Anke Redhead

/

Capa mole

11.63 €

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

/

Capa mole

18.61 €

Lebensversicherungsvertrage A Kaindl

/

Capa mole

8.08 €

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

/

CD de áudio

7.48 €

Die Kunst des Zweifelns Andreas U. Sommer

/

Capa mole

9.10 €

Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser

/

Capa mole

22.15 €

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

/

Capa mole

16.38 €

Grain EP ZS

/

CD de áudio

12.84 €

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

11.02 €

Adaptive Coding and Modulation Romana Rafi

/

Capa mole

44.00 €

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

/

Capa mole

23.67 €

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

/

Capa mole

13.35 €

Psychotraumatology George S. Everly Jr.

/

Capa mole

183.43 €

Blake's Reading Log Martha Day Zschock

/

Capa mole

6.77 €

Jane Butel's Simply Southwestern Jane Butel

/

Livro de capa dura

21.74 €

Advances in Systems Biology Igor Goryanin

/

Capa mole

183.43 €

My First Encyclopedia of Trees (giant Size) Richard McGinlay

/

Capa mole

4.85 €

Easy Ukulele Songs Rebecca Bogart

/

Capa mole

8.79 €

Farmer's Magazine Anonymous

/

Livro de capa dura

34.29 €

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

/

Capa mole

10.92 €

Sacred Hymns and Spiritual Songs Anonym

/

Capa mole

25.18 €

5-Minute Bible Study for Women Emily Biggers

/

Capa mole

5.05 €

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

/

Capa mole

29.43 €

Theory and New Applications of Swarm Intelligence Rafael Parpinelli

/

Livro de capa dura

101.27 €

Now You Know Royalty Doug Lennox

/

Adobe ePub DRM

4.75 €

I Am A Key Larry Odell Johnson

/

Capa mole

10.92 €

Metropolitan Poor Vol 5 Masaie Matsumura

/

Livro de capa dura

132.63 €

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

/

Capa mole

52.50 €

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

/

Livro de capa dura

109.16 €

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

/

Capa mole

54.73 €

Archive Stories Antoinette Burton

/

Livro de capa dura

127.07 €

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

/

Capa mole

137.69 €