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

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Rajeev Alur
Código Libristo: 01559563
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2004
This book constitutes the refereed proceedings of the 16th International Conference on Computer Aide... Descrição completa
? points 263 b
108.26 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

TNM Atlas 7e JD Brierley / Livro Capa mole
common.buy 102.61 €
PALINODIE Giacomo LEOPARDI / Livro Capa mole
common.buy 8.97 €
Star Wars Animation POP! Vinyl Figure Comm Wolffe 9 cm Jogo/brinquedo Brinquedo
common.buy 21.58 €
Principal
Cosa Nostra John Dickie / Livro Capa mole
common.buy 14.52 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Livro Capa mole
common.buy 7.66 €
Em breve
Praha mapa turistických zajímavostí / Artigos impressos Mapa
common.buy 2.71 €
VITICULTURE 14 PLANCHES AVEC 56 PHOTOGRAPHIES EN COULEUR Simon Jacques / Livro Livro de capa dura
common.buy 21.58 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Livro Capa mole
common.buy 30.87 €
Maison la plus grande du monde (La) LIONNI / Livro Capa mole
common.buy 8.47 €
Adolescence, maltraitance et placement Van Hooland / Livro Capa mole
common.buy 20.47 €
Offizielle Softballregeln 2018-2021 Thomas Haller / Livro Capa mole
common.buy 7.76 €
L'imperatore dei Mondi- Libro Uno (Terra e Acqua) LUCA NAZZARRI / Livro Capa mole
common.buy 17.95 €
Código de insolvencias empresariales Rodriguez Achutegui / Livro Capa mole
common.buy 74.16 €
1870 -1871. Vier Bucher deutscher Geschichte Johannes Scherr / Livro Capa mole
common.buy 29.25 €
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Livro Capa mole
common.buy 12.40 €
Económico
Harry Potter Tvory a netvory Jody Revenson / Livro Livro de capa dura
common.buy 11.09 €

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004.The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

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 Rajeev Alur, Doron A. Peled
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2004
Número de páginas 536
EAN 9783540223429
ISBN 3540223428
Código Libristo 01559563
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1700
Dimensões 155 x 233 x 30

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 > 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
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
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

Neuroeconomics MARTIN REUTER / Livro Capa mole
common.buy 173.05 €
Happiness Andy Cope / Livro Livro de capa dura
common.buy 17.14 €
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Livro Capa mole
common.buy 51.35 €
Cuckold Visiting Fellow Adfa Roger (Virginia Military Institute University of New South Wales Virginia Military Institute Virginia Military Institute Virginia / Livro Livro de capa dura
common.buy 32.58 €
Managing the Moon Program NASA History Division / Livro Capa mole
common.buy 19.97 €
Three Musketeers Omnibus, Volume Two (six Complete and Unabridged Books in Two Volumes) Alexandre Dumas / Livro Livro de capa dura
common.buy 70.83 €
Operatic China D. Lei / Livro Capa mole
common.buy 96.05 €
Beyond Babar Sandra L. Beckett / E-book Adobe ePub DRM
common.buy 95.25 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Livro Capa mole
common.buy 108.26 €
Women Who Move Mountains Sue Detweiler / Livro Capa mole
common.buy 15.73 €
Maria The Monarch Homero Aridjis / Livro Capa mole
common.buy 13.81 €
Second Language Teacher Education Diane J. Tedick / Livro Capa mole
common.buy 96.76 €
Stories of Animal Sagacity W. H. G. Kingston / Livro Capa mole
common.buy 20.78 €
More Than Words Vernon Logan / Livro Capa mole
common.buy 17.04 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Livro Capa mole
common.buy 35.41 €
Chasing Time F I Goldhaber / Livro Capa mole
common.buy 10.79 €
Principal
Devil's Reign Zdarsky / Livro Capa mole
common.buy 26.93 €
Económico
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Livro Capa mole
common.buy 2.21 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Livro Capa mole
common.buy 16.44 €
Interpretations of Native North American Life Michael S. Nassaney / Livro Capa mole
common.buy 30.26 €
Embodying Health Identities A James / Livro Capa mole
common.buy 64.97 €
History of Science, History of Text Karine Chemla / Livro Livro de capa dura
common.buy 256.50 €
Multispectral Satellite Image Understanding Cem Ünsalan / Livro Capa mole
common.buy 151.55 €
Effective Crime Reduction Strategies James F. Albrecht / E-book Adobe ePub DRM
common.buy 76.17 €

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?