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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
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 132 b
54.43 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

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 22.56 €
La lozanía de los inmortales Vera Portocarrero / Livro Capa mole
common.buy 19.52 €
Handbuch Alzheimer-Krankheit Frank Jessen / E-book Adobe ePub DRM
common.buy 156.04 €
Luz Herrera Goya / Livro Capa mole
common.buy 10.72 €
Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel / Livro Capa mole
common.buy 18.91 €
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Livro Capa mole
common.buy 23.77 €
Patron Oro Calderon Ivan Calderon / Livro Capa mole
common.buy 13.04 €
Arkham Horror: Lovecraft Letter Zman / Jogo/brinquedo Jogo
common.buy 17.50 €
Le Monde extérieur Duras / Livro Capa mole
common.buy 18.71 €
Primiracconti Luisa Brisi / Livro Capa mole
common.buy 5.66 €
Mathefreunde - Ausgabe Nord 2010 (Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen-Anhalt) - 4. Schuljahr Edmund Wallis / Livro Folha
common.buy 14.06 €
AEsthetik nach Wittgenstein Yves Bossart / Livro Livro de capa dura
common.buy 182.86 €
Un éternel prisonnier Dominique Henry / Livro Capa mole
common.buy 20.94 €
Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann / Livro Livro de capa dura
common.buy 22.76 €
Mehrkomponentenvertrage Benedikt Weisser / Livro Capa mole
common.buy 35.92 €
Nuove storie d'ogni colore Emilio De Marchi / Livro Capa mole
common.buy 14.26 €
Tierna obsesion Marisa Estrada Barquet / Livro Capa mole
common.buy 12.13 €
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Áudio CD de áudio
common.buy 13.45 €
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Livro Capa mole
common.buy 65.68 €
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Livro Capa mole
common.buy 8.69 €
The Boys Integral 03 GARTH ENNIS / Livro Capa mole
common.buy 39.56 €
Very funny things : nueva comedia americana Violeta Kovacsics / Livro Capa mole
common.buy 27.92 €
Ley de Contratos / Livro Capa mole
common.buy 24.68 €
Phantasien uber die Kunst fur Freunde der Kunst Wilhelm Heinrich Wackenroder / Livro Livro de capa dura
common.buy 18.91 €

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

Advances in Exception Handling Techniques Alexander Romanovsky / Livro Capa mole
common.buy 54.43 €
Embedded Software and Systems Man Lin / Livro Capa mole
common.buy 114.55 €
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Livro Capa mole
common.buy 30.05 €
Talks James E. Potter / Livro Capa mole
common.buy 21.04 €
Em breve
Information Processing and Management CAT 3 1999 Explanation of Criteria and Case Studies with Answers Jenny Little / Livro Capa mole
common.buy 10.62 €
Getting to Grips with BIM Graham Paterson / Livro Capa mole
common.buy 75.28 €
Christianity, Islam and Atheism: The Struggle for the Soul of the West William Kilpatrick / Livro Capa mole
common.buy 15.78 €
Degree Gradation of Verbs Jens Fleischhauer / Livro Capa mole
common.buy 41.78 €
A Cook in the Kingdom Daniel Gonzalez / Livro Capa mole
common.buy 13.04 €
Read All about the Human Body / Livro Livro de capa dura
common.buy 26.40 €
Anglais - pour s'amuser à parler anglais ! Stéphanie Bioret / Livro Capa mole
common.buy 12.34 €
Edexcel A-level Mathematics Student Book Year 1 and AS Chris Pearce / Livro Capa mole
common.buy 36.12 €
Tessili Rogue Robin Stephen / Livro Capa mole
common.buy 9.00 €
The Lay of Lirazel Stephen R Babb / Livro Capa mole
common.buy 12.34 €
Finding the Way Home Chris McFarland / Livro Capa mole
common.buy 8.09 €
Clasicos Modernos ANA MARIA MATUTE / Livro Capa mole
common.buy 12.74 €
A Simplified Interpretation of the Book of Revelation: Based Primarily on Two Modern Revelations Given to Us by Jesus in 1908 Walker Thomas / Livro Capa mole
common.buy 22.66 €
Speed of Light and the Simplicity RICHARD CLOUGH / Livro Livro de capa dura
common.buy 29.84 €
Belief and Evangelism DOUGLAS VICKERS / Livro Livro de capa dura
common.buy 32.68 €
Understanding Mobilities for Designing Contemporary Cities Matteo Colleoni / Livro Capa mole
common.buy 108.58 €
Principal
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Livro Encadernação com argola
common.buy 21.65 €
Running the Show Gill / Livro Capa mole
common.buy 59.50 €
By the Moon Alyce Taylor / Livro Capa mole
common.buy 16.28 €
Extremism And Reformation David Myatt / Livro Capa mole
common.buy 7.68 €

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
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?