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

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 222 b
91.75 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

TNM Atlas 7e JD Brierley / Livro Capa mole
common.buy 87.40 €
Sleeping Beauty (La Bella Durmiente) Bilingual Eng/Spa / Livro Capa mole
common.buy 7.77 €
Nadchodzi III wojna światowa. Czy Ameryka porzuci Polskę na pastwę Rosji? wyd. 2022 Jacek Bartosiak / Livro Livro de capa dura
common.buy 9.89 €
Cosa Nostra John Dickie / Livro Capa mole
common.buy 12.02 €
Em breve
Praha mapa turistických zajímavostí / Artigos impressos Mapa
common.buy 2.21 €
PALINODIE Giacomo LEOPARDI / Livro Capa mole
common.buy 7.97 €
Fêtes et Chansons anciennes de la Chine Marcel Granet / Livro Capa mole
common.buy 26.87 €
Maison la plus grande du monde (La) LIONNI / Livro Capa mole
common.buy 7.47 €
Adolescence, maltraitance et placement Van Hooland / Livro Capa mole
common.buy 17.07 €
Offizielle Softballregeln 2018-2021 Thomas Haller / Livro Capa mole
common.buy 6.46 €
Código de insolvencias empresariales Rodriguez Achutegui / Livro Capa mole
common.buy 63.65 €
Lebensbeschreibung Der Erzbetrugerin Und Landstorzerin Courasche Hans Jakob Christoph von Grimmelshausen / Livro Capa mole
common.buy 10.30 €
Económico
Harry Potter Tvory a netvory Jody Revenson / Livro Livro de capa dura
common.buy 17.78 €

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 146.62 €
Second Language Teacher Education Diane J. Tedick / Livro Capa mole
common.buy 80.43 €
The Numismatic Review and Coin Galleries Fixed Price List; 4n3 Stack's Bowers / Livro Capa mole
common.buy 14.04 €
Económico
Pseudoephedrine Sulfate (OTC); A Complete Guide G J Blokdijk / Livro Capa mole
common.buy 2.21 €
Chasing Time F I Goldhaber / Livro Capa mole
common.buy 9.08 €
Solemn Duty in the Old Guard Mark Joseph Mongilutz / Livro Capa mole
common.buy 30.41 €
More Than Words Vernon Logan / Livro Capa mole
common.buy 14.44 €
Stories of Animal Sagacity W. H. G. Kingston / Livro Capa mole
common.buy 17.37 €
Happiness Andy Cope / Livro Livro de capa dura
common.buy 14.04 €
Maria The Monarch Homero Aridjis / Livro Capa mole
common.buy 11.91 €
Women Who Move Mountains Sue Detweiler / Livro Capa mole
common.buy 12.82 €
Church of England - Charity Law and Human Rights Kerry O'Halloran / Livro Capa mole
common.buy 91.75 €
Principal
Devil's Reign Zdarsky / Livro Capa mole
common.buy 21.92 €
Operatic China D. Lei / Livro Capa mole
common.buy 82.45 €
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 28.28 €
Interest Reconciliation between Aborginal and Non-Aboriginal Communities - Pervasive Challenges to Interest Reconciliation between Aboriginal and Non- Diana Groffen / Livro Capa mole
common.buy 43.95 €
Interpretations of Native North American Life Michael S. Nassaney / Livro Capa mole
common.buy 25.35 €
Making Schools Different Kitty te Riele / Livro Livro de capa dura
common.buy 100.23 €
Pure Cute Beverly West / Livro Livro de capa dura
common.buy 8.58 €
Swahili Grammar and Workbook Fid?le Mpiranya / Livro Capa mole
common.buy 73.25 €
Exam Essentials: Cambridge First Practice Tests 1 w/key + DV Charles Osborne / Livro Livro de capa dura
common.buy 41.93 €
Principal
Grounded George Brant / Livro Capa mole
common.buy 14.84 €
Beyond Babar Sandra L. Beckett / E-book Adobe ePub DRM
common.buy 81.54 €
Em breve
Virtual Machining Using CAMWorks 2021 Kuang-Hua Chang / Livro Capa mole
common.buy 68.00 €

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