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 €
phone Contacto phoneComo comprar

Computer Aided Verification

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Alan J. Hu
Código Libristo: 05274836
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 1998
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided... Descrição completa
? points 222 b
91.95 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Moderno diccionario del diablo MARCIUS SHAPIRO / Livro Livro de capa dura
common.buy 14.17 €
Em breve
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Livro Livro
common.buy 9.81 €
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Livro Folha
common.buy 11.64 €
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Livro Capa mole
common.buy 11.94 €
Brest abri 668 GERARD Livro Capa mole
common.buy 10.83 €
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Livro Capa mole
common.buy 10.83 €
Messmer winterpunsch tee, 50g Jogo/brinquedo Brinquedo
common.buy 6.07 €
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Livro Capa mole
common.buy 56.62 €
On ne parle pas aux chouchous ! Kecir-Lepetit / Livro Capa mole
common.buy 7.18 €
Hermeneutiken Lutz Danneberg / Livro Livro de capa dura
common.buy 168.93 €
Hase und Igel Axel Scheffler / Livro Capa mole
common.buy 5.86 €
Bu Benim.Zip Asli Serin / Livro Capa mole
common.buy 10.02 €
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Livro Capa mole
common.buy 48.91 €
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Livro Capa mole
common.buy 13.26 €
100 Abenteuerreisen Rudolf S Rehberg / Livro Capa mole
common.buy 30.78 €
Strategien der Identitätssuche Iris Julia Gütler / Livro Capa mole
common.buy 50.63 €
Hannebambel Roland Pecher / Jogo/brinquedo Jogo
common.buy 7.48 €
neue E-Bilanz Judith Pohler / Livro Capa mole
common.buy 19.84 €

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

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 Alan J. Hu, Moshe Y. Vardi
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1998
Número de páginas 552
EAN 9783540646082
ISBN 3540646086
Código Libristo 05274836
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 720
Dimensões 156 x 234 x 29

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

Selected Articles on Social Insurance. Multiple Contributors / Livro Capa mole
common.buy 30.98 €
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Livro Capa mole
common.buy 10.32 €
Kept for Jesus Sam Storms / Livro Capa mole
common.buy 15.59 €
Liberal Quicksand Yves Decock / Livro Capa mole
common.buy 22.07 €
Fenway Park David Hickey / Livro Capa mole
common.buy 17.11 €
The Founding Foodies Dave DeWitt / Livro Capa mole
common.buy 18.63 €
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Livro Capa mole
common.buy 15.28 €
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Livro Capa mole
common.buy 10.93 €
Principles of Marketing Philip T. Kotler / Livro Livro de capa dura
common.buy 228.99 €
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Livro Livro de capa dura
common.buy 29.46 €
When the Clouds Fell from the Sky Robert Carmichael / E-book Adobe ePub DRM
common.buy 3.74 €
Precedents in Conveyancing: A Collection of Forms of Assurances of Real and Personal Property Adapted to the Present State of the Law ... Volume 4 S Vallis Bone / Livro Capa mole
common.buy 23.49 €
THE CHORDATES HERBERT W. 187 RAND / Livro Capa mole
common.buy 31.08 €
Uncovered Ian Birch / Livro Livro de capa dura
common.buy 43.85 €
Third Sector Meghan Kallman / Livro Capa mole
common.buy 21.26 €
Orson Welles Chris Wade / Livro Capa mole
common.buy 13.36 €
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Livro Livro de capa dura
common.buy 122.95 €
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Livro Capa mole
common.buy 35.54 €
Challenge of Democratic Representation in the European Union Sandra Kroger / Livro Livro de capa dura
common.buy 50.63 €
Dark Object Don Ledger / Livro Capa mole
common.buy 5.66 €
ENT MCQs for Medical Students Mannu Odutoye / Livro Capa mole
common.buy 49.31 €
Arsenic in the Environment, Part 2 J. O. Nriagu / Livro Livro de capa dura
common.buy 293.91 €
Companion to 19th-Century America Barney / Livro Capa mole
common.buy 50.73 €
Vegan Family Meals Ann Gentry / Livro Livro de capa dura
common.buy 20.35 €

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?