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

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Daniel Kroening
Código Libristo: 09372112
Editoras Springer International Publishing AG, julho 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Descrição completa
? points 132 b
54.51 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Der X-Klub (Eine Krinar Erzählung) Anna Zaires / Livro Capa mole
common.buy 8.60 €
Onkel Alwin und das Sams Paul Maar / Livro Livro de capa dura
common.buy 12.66 €
Redeskriptionen horizontaler Geographien Olaf Kuhne / E-book Adobe ePub DRM
common.buy 108.23 €
Medizinischer Grundwortschatz Martin Trebsdorf / Livro Capa mole
common.buy 18.33 €
Stadt der Lebenden / Livro Capa mole
common.buy 13.57 €
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Livro Capa mole
common.buy 27.86 €
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Livro Capa mole
common.buy 54.82 €
EL GUERRA CIVIL EN CÓRDOBA PATRICIO HIDALGO LUQUE / Livro Capa mole
common.buy 26.44 €
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Livro Capa mole
common.buy 38.91 €
Découvrez le SURNATUREL en VOUS!: (Psaumes Quotidiens Puissant Pour Adolescents) LeTicia Lee / Livro Capa mole
common.buy 18.33 €
El pacto de Reygnark Víctor López López / Livro Capa mole
common.buy 17.02 €

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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 Daniel Kroening, Corina S. Pasareanu
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 469
EAN 9783319216676
ISBN 3319216678
Código Libristo 09372112
Editoras Springer International Publishing AG
Peso 7314
Dimensões 155 x 235 x 25

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
Informática & tecnologia da informação > Gestão de redes & comunicação informática
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

Contraception Research for Today and the Nineties G.P. Talwar / Livro Livro de capa dura
common.buy 91.10 €
Ballet Shoes for Anna Noel Streatfeild / Livro Capa mole
common.buy 9.31 €
The Haunting Season for Love and Witches Isabelle Larken / Livro Capa mole
common.buy 19.95 €
About Face Jason White / E-book Adobe ePub DRM
common.buy 2.02 €
Global Logistics and Supply Chain Management Mason Harris / Livro Livro de capa dura
common.buy 118.56 €
Ask Me Smarter! Language Arts, Social Studies, Science, and Math - Grade 3 Donna M. Roszak / Livro Capa mole
common.buy 12.15 €
Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Livro Capa mole
common.buy 54.51 €
How To Earn Money Without Leaving The House Daniel P Richardson / Livro Capa mole
common.buy 11.24 €
Sex and passion Piero Palono / Livro Capa mole
common.buy 8.60 €
Positiverosity: 7 Golden Principles David Fox-Pitt / Livro Capa mole
common.buy 11.54 €
Principal
Love and Other Words Christina Lauren / Livro Capa mole
common.buy 13.57 €
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Livro Livro de capa dura
common.buy 19.45 €
Short History of Gardens Gordon Campbell / Livro Livro de capa dura
common.buy 17.12 €
Early Childhood Education Radhika Viruru / Livro Livro de capa dura
common.buy 39.11 €
Engineering and Design US Army Corps of Engineers / Livro Capa mole
common.buy 38.20 €
Rita and Rascal Autum Agusta / Livro Livro de capa dura
common.buy 23.60 €
Does God Protect the Innocent? Marcel Crespil / Livro Livro de capa dura
common.buy 33.54 €
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Livro Livro de capa dura
common.buy 37.99 €
Television in the Antenna Age - A Concise History David Marc / Livro Livro de capa dura
common.buy 139.75 €
Affluent Worker: Industrial Attitudes and Behaviour John H. Goldthorpe / Livro Capa mole
common.buy 48.23 €
Design Systems for VLSI Circuits Giovanni De Micheli / Livro Capa mole
common.buy 217.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?