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 8.49 € Correio DPD 4.99 € Ponto DPD 4.49 € Correio GLS 5.99 € Correio MRW 5.99 € Ponto GLS 4.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 132 b
53.88 €
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 23.33 €
delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda / Livro Capa mole
common.buy 26.23 €
La lozanía de los inmortales Vera Portocarrero / Livro Capa mole
common.buy 20.12 €
Handbuch Alzheimer-Krankheit Frank Jessen / E-book Adobe ePub DRM
common.buy 158.85 €
Patron Oro Calderon Ivan Calderon / Livro Capa mole
common.buy 13.21 €
Grande Ou Petite Propriété?: Histoire Des Doctrines En France Sur La Répartition Du Sol Et La Transformation Industrielle De L'agriculture... Michel Augé-Laribé / Livro Livro de capa dura
common.buy 33.14 €
zahmen Wilden ... Maria Falkena-Roehrle / Livro Capa mole
common.buy 18.82 €
Rhapsodie pour un Nouveau Monde Bérard / Livro Capa mole
common.buy 18.42 €
Les aventures de l'estrelleta de mar FARRENY TORRADO / Livro Livro de capa dura
common.buy 17.72 €
Halb so wild Antonia Wien / Livro Livro de capa dura
common.buy 26.33 €
Goethe Werke Bd. 6: Romane und Novellen I. Tl.1 Benno von Wiese / Livro Livro de capa dura
common.buy 18.82 €
AEsthetik nach Wittgenstein Yves Bossart / Livro Livro de capa dura
common.buy 180.99 €
Mathefreunde - Ausgabe Nord 2010 (Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen-Anhalt) - 4. Schuljahr Edmund Wallis / Livro Folha
common.buy 13.91 €
Primiracconti Luisa Brisi / Livro Capa mole
common.buy 6.00 €
Arkham Horror: Lovecraft Letter Zman / Jogo/brinquedo Jogo
common.buy 18.22 €
Rigenerare il nucleo Yash Wadhwani / Livro Capa mole
common.buy 79.22 €
Very funny things : nueva comedia americana Violeta Kovacsics / Livro Capa mole
common.buy 28.94 €
Ley de Contratos / Livro Capa mole
common.buy 25.53 €
Phantasien uber die Kunst fur Freunde der Kunst Wilhelm Heinrich Wackenroder / Livro Livro de capa dura
common.buy 18.72 €
The Boys Integral 03 GARTH ENNIS / Livro Capa mole
common.buy 41.16 €
Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur / Livro Capa mole
common.buy 9.61 €
Nasadki na ołówki i kredki 2 sztuki / Áudio Áudio
common.buy 3.30 €
O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela / Livro Capa mole
common.buy 65.01 €
Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier / Áudio CD de áudio
common.buy 13.21 €

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 117.78 €
Advances in Exception Handling Techniques Alexander Romanovsky / Livro Capa mole
common.buy 53.88 €
A Fighting Parson: The Autobiography of Alexander Irvine Alexander Irvine / Livro Capa mole
common.buy 32.14 €
Aye Aye, Professor Tekyp and Hyperbrits: Vol IV Dr Ana Isabel Ordonez / Livro Capa mole
common.buy 12.31 €
By the Moon Alyce Taylor / Livro Capa mole
common.buy 16.62 €
Running the Show Gill / Livro Capa mole
common.buy 63.79 €
Principal
Beginner's Guide to Reading Schematics, Fourth Edition Stan Gibilisco / Livro Encadernação com argola
common.buy 23.43 €
Understanding Mobilities for Designing Contemporary Cities Matteo Colleoni / Livro Capa mole
common.buy 107.47 €
William Morley Punshon, preacher and orator, 1824-1881: William M. Punshon / Livro Capa mole
common.buy 16.92 €
Belief and Evangelism DOUGLAS VICKERS / Livro Livro de capa dura
common.buy 33.24 €
Speed of Light and the Simplicity RICHARD CLOUGH / Livro Livro de capa dura
common.buy 30.24 €
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 24.23 €
Extremism And Reformation David Myatt / Livro Capa mole
common.buy 7.70 €
Talks James E. Potter / Livro Capa mole
common.buy 22.83 €
Finding the Way Home Chris McFarland / Livro Capa mole
common.buy 8.70 €
Learning to Study the Bible Student Journal L J Zimmerman / Livro Capa mole
common.buy 8.50 €
The Lay of Lirazel Stephen R Babb / Livro Capa mole
common.buy 13.21 €
Hungerstorm (Heart of a Vampire, Book 2) Amber Kallyn / Livro Capa mole
common.buy 13.21 €
Tessili Rogue Robin Stephen / Livro Capa mole
common.buy 9.61 €
Edexcel A-level Mathematics Student Book Year 1 and AS Chris Pearce / Livro Capa mole
common.buy 36.65 €
The Marauders' Island Tristan J. Tarwater / Livro Capa mole
common.buy 15.01 €
Where to Go When The Americas DK / Livro Livro de capa dura
common.buy 23.73 €
The Pit Town Coronet / Livro Capa mole
common.buy 16.82 €
Cat Got Your Tongue? SHAW HANNAH / Livro Livro de capa dura
common.buy 13.01 €

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?