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

11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Nicolas Halbwachs
Código Libristo: 05274969
Editoras Springer, Berlin, novembro 1998
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aide... Descrição completa
? points 125 b
51.53 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Neurodermitis bewältigen Ulrich Stangier / Livro Capa mole
common.buy 51.73 €
Un nuevo comienzo Joel Osteen / Livro Capa mole
common.buy 16.13 €
Byłam kochanką arabskich szejków Laila Shukri / Livro Capa mole
common.buy 8.66 €
Conférences sur le rideau de Mme Caudle Douglas Jerrold / Livro Capa mole
common.buy 15.73 €
No me llames loca Girona / Audiolivro MP3
common.buy 9.87 €
MEGA MALBUCH - 300 SEITEN MIT TOLLEN MOTIVEN - SUPER EINFACH ZEICHNEN LERNEN UND ÜBEN - MIT EINIGEN FARBVORLAGEN Gabriele André / Livro Capa mole
common.buy 26.72 €
Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla / Livro Capa mole
common.buy 30.35 €
La obra gruesa : unos apuntes de construcción Mañá Reixach / Livro Capa mole
common.buy 27.12 €
Herbst David Moody / Livro Capa mole
common.buy 14.41 €
Uglavnom su me voljele starije gospođe Aleksandar Stanković / Livro Livro de capa dura
common.buy 13.10 €
Физико-химические основы развития и тушения пожаров. Учебное пособие Владимир Адамян / Livro Livro de capa dura
common.buy 31.26 €
Столетняя война Э. Перруа / Livro Livro de capa dura
common.buy 31.26 €
Diccionario de la lengua española / Livro Capa mole
common.buy 8.77 €
SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Livro binding.
common.buy 153.31 €
Aycha ou Le retour d'Elle - roman Haggard Livro Capa mole
common.buy 21.47 €
Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3 / Livro Folha
common.buy 9.98 €
Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone / Jogo/brinquedo Jogo
common.buy 42.56 €
Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch / Livro Capa mole
common.buy 25.91 €

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

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 Nicolas Halbwachs, Doron Peled
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1999
Número de páginas 506
EAN 9783540662020
ISBN 3540662022
Código Libristo 05274969
Editoras Springer, Berlin
Peso 670
Dimensões 156 x 234 x 26

Categorias

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 > Sistemas operativos
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

Geometry and Analysis on Manifolds Toshikazu Sunada / Livro Capa mole
common.buy 36.10 €
Em breve Novo
Spy x Family Broschurkalender 2027 / Calendário/Diário Calendário
common.buy 13.81 €
Literature Lost John M. Ellis / Livro Capa mole
common.buy 37.92 €
Within Reason: Rationality and Human Behavior Donald Calne / Livro Capa mole
common.buy 17.64 €
100 Families Samuel Willard Crompton / Livro Capa mole
common.buy 6.85 €
Memoirs of the Connecticut Academy of Arts & Sciences, Volumes 4-5 University / Livro Livro de capa dura
common.buy 30.15 €
Word Detective John Simpson / Livro Capa mole
common.buy 14.72 €
Life In Its Rawest Form Qiana S Hicks / Livro Capa mole
common.buy 11.79 €
Essential Reproduction, 8th Edition Martin H. Johnson / Livro Capa mole
common.buy 70.19 €
The Whig Party: A Short-Lived Movement with a Long Legacy In60learning / Livro Capa mole
common.buy 7.66 €
Art and Meaning of Magic Israel Regardie / Livro Capa mole
common.buy 28.74 €
Ted Bundy: Conversations with a Killer: The Death Row Interviews Volume 1 Stephen G. Michaud / Livro Capa mole
common.buy 13.10 €
Tetrastatum Richard / Livro Capa mole
common.buy 19.26 €
Colorful Blessings Coloring Book: 20 Colorful Blessing Quote Mandala Coloring Pages For Adults Crystal Coloring Books / Livro Capa mole
common.buy 8.06 €
Cold Hands Cool Heart Richard H. Dieckhoff Jr / Livro Capa mole
common.buy 11.69 €
Home Thoughts for Mothers and Mother's Meetings (1869) Jane Ellice Hopkins / Livro Capa mole
common.buy 19.66 €
Homer, for Beginners. Iliad, Book 1-3, With Engl. Notes by T.K. Arnold Homerus / Livro Livro de capa dura
common.buy 29.14 €
The Wind in the Willows Kate Hindley / Livro Livro de capa dura
common.buy 16.94 €
Cease Buzzer!: Life as a U.S. Navy EA-6B Pilot in the Era of Top Gun J.P. Springett / Livro Livro de capa dura
common.buy 28.23 €
The Wonderful Wizard of Oz Victor Tavares / Livro Livro de capa dura
common.buy 16.94 €
The Widening of God`s Mercy – Sexuality Within the Biblical Story Christopher B Hays / Livro Livro de capa dura
common.buy 20.26 €
El Hacho Sean Campbell / E-book Adobe ePub DRM
common.buy 2.21 €
Adolescent Reputations and Risk Annemaree Carroll / Livro Capa mole
common.buy 102.67 €
Queequeg's Coffin Birgit Brander Rasmussen / Livro Capa mole
common.buy 33.07 €

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?