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 132 b
54.58 €
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 54.99 €
Conférences sur le rideau de Mme Caudle Douglas Jerrold / Livro Capa mole
common.buy 16.83 €
Uglavnom su me voljele starije gospođe Aleksandar Stanković / Livro Livro de capa dura
common.buy 15.11 €
Necesidades energéticas y propuestas de instalaciones solares Bernabé Jiménez Padilla / Livro Capa mole
common.buy 33.78 €
No me llames loca Girona / Audiolivro MP3
common.buy 11.25 €
La obra gruesa : unos apuntes de construcción Mañá Reixach / Livro Capa mole
common.buy 30.23 €
Дракула Брэм Стокер / Livro Livro de capa dura
common.buy 21.50 €
MEGA MALBUCH - 300 SEITEN MIT TOLLEN MOTIVEN - SUPER EINFACH ZEICHNEN LERNEN UND ÜBEN - MIT EINIGEN FARBVORLAGEN Gabriele André / Livro Capa mole
common.buy 28.40 €
Byłam kochanką arabskich szejków Laila Shukri / Livro Capa mole
common.buy 8.72 €
Un nuevo comienzo Joel Osteen / Livro Capa mole
common.buy 17.24 €
Schottische Hochlandrinder bei de Bollekammer (Puzzle) Elke Krone / Jogo/brinquedo Jogo
common.buy 45.14 €
Herbst David Moody / Livro Capa mole
common.buy 15.21 €
Физико-химические основы развития и тушения пожаров. Учебное пособие Владимир Адамян / Livro Livro de capa dura
common.buy 35.00 €
Столетняя война Э. Перруа / Livro Livro de capa dura
common.buy 35.00 €
Diccionario de la lengua española / Livro Capa mole
common.buy 9.93 €
Camden Town - Allgemeine Ausgabe 2012 für Gymnasien. Bd.3 / Livro Folha
common.buy 10.44 €
SOUL BOSSANOVA CONCERT BAND/HARMONIE -PARTITION+PARTIES SEPAREES QUINCY JONES Livro binding.
common.buy 169.45 €
Problématique de la mise en oeuvre de la gestion intégrée de l'eau Naoual BAGHLI-MERABET / Livro Capa mole
common.buy 58.54 €
Aycha ou Le retour d'Elle - roman Haggard Livro Capa mole
common.buy 23.43 €
48e Rencontres internationales de la photographie / Livro Livro de capa dura
common.buy 53.87 €
Em breve
Amtliches Lohnsteuer-Handbuch 2021 Bundesministerium der Finanzen / Livro Capa mole
common.buy 17.75 €
Sechster Jahresbericht des Comites für ornithologische Beobachtungsstationen Dalla Torre / Livro Capa mole
common.buy 24.65 €
Compraventa y La Permuta Agrarias y Rusticas David Bernardo López Lluch / Livro Capa mole
common.buy 27.59 €
Der Postbote klingelt immer zweimal James M. Cain / Livro Livro de capa dura
common.buy 19.07 €

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 38.24 €
Em breve Novo
Spy x Family Broschurkalender 2027 / Calendário/Diário Calendário
common.buy 14.80 €
Literature Lost John M. Ellis / Livro Capa mole
common.buy 39.87 €
Within Reason: Rationality and Human Behavior Donald Calne / Livro Capa mole
common.buy 18.76 €
100 Families Samuel Willard Crompton / Livro Capa mole
common.buy 7.80 €
Memoirs of the Connecticut Academy of Arts & Sciences, Volumes 4-5 University / Livro Livro de capa dura
common.buy 33.68 €
Word Detective John Simpson / Livro Capa mole
common.buy 14.30 €
Life In Its Rawest Form Qiana S Hicks / Livro Capa mole
common.buy 13.59 €
Principal
Essential Reproduction, 8th Edition Martin H. Johnson / Livro Capa mole
common.buy 78.53 €
The Whig Party: A Short-Lived Movement with a Long Legacy In60learning / Livro Capa mole
common.buy 8.61 €
Art and Meaning of Magic Israel Regardie / Livro Capa mole
common.buy 30.53 €
Ted Bundy: Conversations with a Killer: The Death Row Interviews Volume 1 Stephen G. Michaud / Livro Capa mole
common.buy 15.11 €
Tetrastatum Richard / Livro Capa mole
common.buy 20.39 €
Colorful Blessings Coloring Book: 20 Colorful Blessing Quote Mandala Coloring Pages For Adults Crystal Coloring Books / Livro Capa mole
common.buy 9.53 €
Cold Hands Cool Heart Richard H. Dieckhoff Jr / Livro Capa mole
common.buy 13.79 €
Home Thoughts for Mothers and Mother's Meetings (1869) Jane Ellice Hopkins / Livro Capa mole
common.buy 23.13 €
Unicompartmental Knee Arthroplasty Richard D. Scott / Livro Livro de capa dura
common.buy 179.80 €
Homer, for Beginners. Iliad, Book 1-3, With Engl. Notes by T.K. Arnold Homerus / Livro Livro de capa dura
common.buy 30.84 €
The Wind in the Willows Kate Hindley / Livro Livro de capa dura
common.buy 19.47 €
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 29.92 €
The Wonderful Wizard of Oz Victor Tavares / Livro Livro de capa dura
common.buy 19.47 €
The Widening of God`s Mercy – Sexuality Within the Biblical Story Christopher B Hays / Livro Livro de capa dura
common.buy 21.70 €
El Hacho Sean Campbell / E-book Adobe ePub DRM
common.buy 2.43 €
Chasing The Dream Girl Ye-Vetta Wilson / Livro Capa mole
common.buy 10.34 €

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