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 I

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Daniel Kroening
Código Libristo: 09372120
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

SICILIA PHILIPPE GLOAGUEN / Livro Livro de capa dura
common.buy 23.70 €
EL SIGNO DEL DRAGÓN RICARDO ALIA / Livro Livro de capa dura
common.buy 12.15 €
Klube & THE BATES Christof Dörr / Livro Capa mole
common.buy 19.04 €
Vánoční koledy Vladimíra Vopičková / Livro Livro de capa dura
common.buy 3.94 €
Nouvelle Biblioth?que Germanique... Jean-Henri-Samuel Formey / Livro Capa mole
common.buy 27.76 €
Económico
La génération Z et le luxe Eric Briones (dit Darkplanneur) / Livro Capa mole
common.buy 26.75 €
Inspirationen zu Franz Marc "Skizzen aus dem Felde" Maria-Anna Bäuml-Roßnagl / Livro Capa mole
common.buy 30.29 €
Ensemble: Liebfrauenkirche - Kloster - Prinzenhof - Papiermühle und Teile der alten Stadtmauer (Puzzle) Monika Müller / Jogo/brinquedo Jogo
common.buy 30.49 €
Sagen aus Franken Susanne Rebscher / Livro Livro de capa dura
common.buy 12.76 €
Russlands landlische Zustande Julius Wilhelm Albert von Eckardt / Livro Capa mole
common.buy 21.78 €
Diario de un viejo terminal Zamir Bechara / Livro Capa mole
common.buy 21.17 €
Auxiliares Administrativos de Corporaciones Locales. Test del Temario General MARTOS NAVARRO / Livro Capa mole
common.buy 30.90 €
Pollos y gallinas de la A a la Z : todas las respuestas a sus preguntas Gail Damerow / Livro Capa mole
common.buy 48.43 €
Reise durch Barcelona Andreas Drouve / Livro Livro de capa dura
common.buy 19.04 €
Die 101 wichtigsten Fragen - Rassismus Susan Arndt / Livro Capa mole
common.buy 11.85 €
Clemens Brentano Detlev Lüders / Livro Livro de capa dura
common.buy 125.66 €
L.A. Nudes Confidential Sean McCall / Livro Livro de capa dura
common.buy 27.86 €
Juwikinger - Erster Teil Olav Duun / Livro Livro de capa dura
common.buy 33.13 €
Stunden-Buch Rainer Maria Rilke / Livro Capa mole
common.buy 9.62 €

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 677
EAN 9783319216898
ISBN 3319216899
Código Libristo 09372120
Editoras Springer International Publishing AG
Peso 1048
Dimensões 155 x 235 x 40

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

Because He Loves Me Dana M Watson / Livro Capa mole
common.buy 19.45 €
Amber Waves Sharon Schenbeck / Livro Capa mole
common.buy 9.82 €
Em breve
Introduction to International Relations Richard Devetak / Livro Capa mole
common.buy 75.09 €
How To Be A Dynamite Trustee: Book Two: Powers Of The Trustee A Jeanne Emanuel / Livro Capa mole
common.buy 7.29 €
Spice Secret Billie Holladay Skelley / Livro Capa mole
common.buy 8.40 €
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Livro Capa mole
common.buy 18.54 €
America: A History: I. The United States. II. The Dominion of Canada. III. South America, &c Robert Mackenzie / Livro Livro de capa dura
common.buy 40.22 €
Revival: Nietzsche in Context (2001) Robin Small / Livro Capa mole
common.buy 63.94 €
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Livro Livro de capa dura
common.buy 33.23 €
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digital Digital online
common.buy 52.59 €
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Livro Livro de capa dura
common.buy 32.83 €
Lean Change Management Jason Little / Livro Capa mole
common.buy 27.45 €
The sun Worshipers of Asia Charles D. Poston / Livro Capa mole
common.buy 18.43 €
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Livro Livro de capa dura
common.buy 140.66 €
Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Livro Capa mole
common.buy 114.71 €
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Livro Capa mole
common.buy 163.06 €
Chemical Genomics Edward D. Zanders / Livro Capa mole
common.buy 113.70 €
Chicano Frankenstein Daniel A. Olivas / Audiolivro MP3
common.buy 20.36 €
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Livro Capa mole
common.buy 103.46 €
Principal
Spanish English Illustrated Dictionary DK / Livro Capa mole
common.buy 22.69 €
Em breve
NATIONALISM Richard Allen Sauers / Livro Livro de capa dura
common.buy 48.23 €
Dear Mr. Nelson Kenneth E Nelson / Livro Livro de capa dura
common.buy 29.89 €
Intimate: An American Family Photo Album Paisley Rekdal / Livro Livro de capa dura
common.buy 29.99 €

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?