Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Computer Aided Verification

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Orna Grumberg
Código Libristo: 05274713
Editoras Springer, Berlin, novembro 1996
This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... Descrição completa
? 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

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo / Livro Capa mole
common.buy 20.35 €
Arkham Horror: Lovecraft Letter Zman / Jogo/brinquedo Jogo
common.buy 15.69 €
Textes et Monuments Figures Relatifs aux Mysteres de Mithra, Tome Premier Franz Valery Marie Cumont / Livro Capa mole
common.buy 29.26 €
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Livro Capa mole
common.buy 22.37 €
Handbuch Alzheimer-Krankheit Frank Jessen / E-book Adobe ePub DRM
common.buy 129.53 €
Tierna obsesion Marisa Estrada Barquet / Livro Capa mole
common.buy 10.32 €
Patron Oro Calderon Ivan Calderon / Livro Capa mole
common.buy 11.03 €
Luz Herrera Goya / Livro Capa mole
common.buy 9.81 €
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Livro Capa mole
common.buy 15.79 €
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Livro Capa mole
common.buy 8.30 €
Una storia dovunque Prezioso Sclano / Livro Capa mole
common.buy 13.06 €
Ley de Contratos / Livro Capa mole
common.buy 22.58 €
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Livro Capa mole
common.buy 65.73 €
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Áudio CD de áudio
common.buy 11.03 €
Nuove storie d'ogni colore Emilio De Marchi / Livro Capa mole
common.buy 11.94 €
Mehrkomponentenvertrage Benedikt Weisser / Livro Capa mole
common.buy 30.07 €
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Livro Livro de capa dura
common.buy 22.27 €
Un éternel prisonnier Dominique Henry / Livro Capa mole
common.buy 17.41 €
AEsthetik nach Wittgenstein Yves Bossart / Livro Livro de capa dura
common.buy 155.66 €
Primiracconti Luisa Brisi / Livro Capa mole
common.buy 5.05 €

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
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 Orna Grumberg
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1997
Número de páginas 492
EAN 9783540631668
ISBN 3540631666
Código Libristo 05274713
Editoras Springer, Berlin
Peso 654
Dimensões 156 x 234 x 25

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento
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

Embedded Software and Systems Man Lin / Livro Capa mole
common.buy 99.15 €
Advances in Exception Handling Techniques Alexander Romanovsky / Livro Capa mole
common.buy 46.07 €
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Livro Capa mole
common.buy 27.03 €
Tessili Rogue Robin Stephen / Livro Capa mole
common.buy 7.99 €
Impinging Streams Sakamon Devahastin / Livro Capa mole
common.buy 50.63 €
Pennycomequicks. a Novel. Sabine Baring-Gould / Livro Capa mole
common.buy 18.63 €
Clasicos Modernos ANA MARIA MATUTE / Livro Capa mole
common.buy 10.73 €
Getting to Grips with BIM Graham Paterson / Livro Capa mole
common.buy 65.32 €
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Livro Capa mole
common.buy 14.88 €
Degree Gradation of Verbs Jens Fleischhauer / Livro Capa mole
common.buy 35.64 €
Extremism And Reformation David Myatt / Livro Capa mole
common.buy 6.47 €
Chinese Culture in Globalization Rugang Lu / Livro Capa mole
common.buy 42.22 €
The Lay of Lirazel Stephen R Babb / Livro Capa mole
common.buy 11.03 €
Talks James E. Potter / Livro Capa mole
common.buy 20.04 €
Speed of Light and the Simplicity RICHARD CLOUGH / Livro Livro de capa dura
common.buy 25.51 €
Belief and Evangelism DOUGLAS VICKERS / Livro Livro de capa dura
common.buy 26.63 €
Principal
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Livro Encadernação com argola
common.buy 17.61 €
Running the Show Gill / Livro Capa mole
common.buy 51.54 €
Narrating the Rise of Big Business in the USA Anne Mayhew / Livro Livro de capa dura
common.buy 213.09 €
Mathematical Puzzles Peter Winkler / Livro Capa mole
common.buy 32.00 €
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Livro Capa mole
common.buy 10.73 €
Cat Got Your Tongue? SHAW HANNAH / Livro Livro de capa dura
common.buy 10.52 €
Selections with Key Clare West / Livro Capa mole
common.buy 22.78 €
Grammar and Style Michael Dummett / Livro Capa mole
common.buy 29.16 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo