Verificar estado da encomenda

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

Correio DHL 8.49 € Correio DPD 4.99 € Ponto DPD 4.49 € Correio GLS 5.99 € Correio MRW 5.99 € Ponto GLS 4.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 12580324
Price: 53.88 EUR
Availability: InStock
Author: Swarat Chaudhuri
ISBN: 9783319415277

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

Swarat Chaudhuri

Azadeh Farzan

Língua

Inglês

Livro Capa mole

Código Libristo: 12580324

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

Código Libristo: 12580324

132 b

53.88 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Bu Da Gecer Ya Hu Okay Gönensin

Capa mole

21.02 €

Filosofía de la elocuencia Antonio de Capmany y de Montpalau

Livro

46.27 €

El entrenador y el equipo : aprendiendo a ser un buen entrenador de formación Mauro Valenciano Oller

Capa mole

13.41 €

Fundamentos de sistemas digitales Floyd

Capa mole

88.33 €

Blut in den Bayous James Lee Burke

Capa mole

18.82 €

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.??