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 € Correio MRW 3.99 € Ponto DPD 3.99 €
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 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

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

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

Sterilization of Food in Retort Pouches A.G. Abdul Ghani Al-Baali / Livro Capa mole
common.buy 91.75 €
Em breve
Introduction to International Relations Richard Devetak / Livro Capa mole
common.buy 64.16 €
Spice Secret Billie Holladay Skelley / Livro Capa mole
common.buy 5.04 €
Amber Waves Sharon Schenbeck / Livro Capa mole
common.buy 8.78 €
Life of an EX College Bandsman 5: Starting All Over Jaxon Grant / Livro Capa mole
common.buy 16.56 €
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 34.25 €
Descartes and the Dutch: Early Reactions to Cartesian Philosophy, 1637-1650 Theo Verbeek / Livro Livro de capa dura
common.buy 30.00 €
Bondage and Travels of Johann Schiltberger, a Native of Bavaria, in Europe, Asia, and Africa, 1396-1427 / Digital Digital online
common.buy 49.81 €
Revival: Nietzsche in Context (2001) Robin Small / Livro Capa mole
common.buy 55.27 €
Principal
Lean Change Management Jason Little / Livro Capa mole
common.buy 23.23 €
Guide To Gaelic Conversation And Pronunciation: With Vocabularies, Dialogues, Phrases And Letter Forms (1905) Lachlan Macbean / Livro Livro de capa dura
common.buy 29.40 €
Because He Loves Me Dana M Watson / Livro Capa mole
common.buy 16.46 €
Principal
Spanish English Illustrated Dictionary DK / Livro Capa mole
common.buy 18.38 €
Intimate: An American Family Photo Album Paisley Rekdal / Livro Livro de capa dura
common.buy 24.55 €
Dear Mr. Nelson Kenneth E Nelson / Livro Livro de capa dura
common.buy 25.46 €
Em breve
NATIONALISM Richard Allen Sauers / Livro Livro de capa dura
common.buy 43.64 €
Flexible Metal-Organic Frameworks: Structural Design, Synthesis and Properties Susumu Kitagawa / Livro Livro de capa dura
common.buy 120.75 €
World Century Compendium To Tcm - Volume 4: Introduction To Chinese Internal Medicine Hong Zhou Wu / Livro Capa mole
common.buy 89.42 €
Chicano Frankenstein Daniel A. Olivas / Audiolivro MP3
common.buy 16.97 €
Dynamic Business Process Formation for Instant Virtual Enterprises Nikolay Mehandjiev / Livro Capa mole
common.buy 137.52 €
Chemical Genomics Edward D. Zanders / Livro Capa mole
common.buy 98.01 €

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