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

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Swarat Chaudhuri
Código Libristo: 12580327
Editoras Springer International Publishing AG, julho 2016
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Descrição completa
? points 118 b
48.89 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Ma première mythologie - Mes premières lectures de mythologie CP/CE1 6/7 ans Hélène Kérillis / Livro Livro
common.buy 8.19 €
Романовы. Путь святости и Голгофы Д.А. Остроумов / Livro Livro de capa dura
common.buy 40.79 €
parole del silenzio. In ascolto dell'Essere Piermario Ferrari / Livro Capa mole
common.buy 17.00 €
Making und Schule Selina Ingold / Livro Capa mole
common.buy 20.95 €
ultimo dei giusti André Schwarz Bart / Livro Capa mole
common.buy 13.76 €
Métodos de numeración y remuneración genealógica Fernández Vilches / Livro Capa mole
common.buy 15.07 €
¡Adelante! JEAN-LOUIS BARREAU / Livro Capa mole
common.buy 23.28 €
Hybrides : c'est pas d'la flotte ! (Les) D'AUTEURS / Livro Capa mole
common.buy 6.87 €
Rondalles valencianes JOSEP FRANCO / Livro Capa mole
common.buy 24.79 €
Zrozumieć Japonię Dorota Ugorowska / Livro Capa mole
common.buy 9.30 €
Mediation Im Strafrecht Stefanie Mühlfeld / Livro Capa mole
common.buy 80.98 €
Por los mares del Sur con Jack London MARTIN JOHNSON / Livro Capa mole
common.buy 21.05 €
El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown / Livro Capa mole
common.buy 68.73 €

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.??The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.?

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 Swarat Chaudhuri, Azadeh Farzan
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2016
Número de páginas 521
EAN 9783319415390
ISBN 3319415395
Código Libristo 12580327
Editoras Springer International Publishing AG
Peso 8073
Dimensões 155 x 235 x 32

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
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

Cord Blood Transplantations Mitchell Horwitz / Livro Livro de capa dura
common.buy 114.19 €
Freedom of Speech Elizabeth Powers / Livro Livro de capa dura
common.buy 121.48 €
Principal Novo
Hunger and Thirst Claire Fuller / Livro Capa mole
common.buy 14.16 €
Caithness Events: A Discussion Of Captain Kennedy's Historical Narrative, And An Account Of The Broynach Earls (1899) Thomas Sinclair / Livro Capa mole
common.buy 22.97 €
Pulling Up Stakes: A CampCon Anthology Leah Cutter / Livro Capa mole
common.buy 11.63 €
Faith Lessons: Lessons in Faith in Genesis Bruce Goettsche / Livro Capa mole
common.buy 14.87 €
New Jersey Joseph G. Bilby / Livro Livro de capa dura
common.buy 29.55 €
Blaine's Playful Namaste Kerry Alison Wekelo / Livro Livro de capa dura
common.buy 13.76 €
Nuclear Energy Nicholas Tsoulfanidis / Livro Livro de capa dura
common.buy 203.59 €
Easy Cooking for Special Diets: How to Cook for Weight Loss/Blood Sugar Control, Food Allergy, Heart Healthy, Diabetic, and Just Healthy Diets Even If Nicolette M. Dumke / Livro Capa mole
common.buy 22.67 €
Flight of the Hummingbird Michael Nicoll Yahgulanaas / Livro Livro de capa dura
common.buy 12.54 €

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?