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

Numerical Software Verification

10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Numerical Software Verification Alessandro Abate
Código Libristo: 16495678
Editoras Springer International Publishing AG, julho 2017
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verif... Descrição completa
? points 129 b
53.05 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Até 30 dias para devoluções

Os clientes também compraram

filo teso. I disturbi mentali di adolescenti raccontati da due amici improbabili: un neuropsichiatra infantile e un giornalista Stefano Vicari / Livro Capa mole
common.buy 14.01 €
Residentes chinos en Espana y su relacion con la vivienda Wanchu Zhong / Livro Capa mole
common.buy 18.95 €
Der Traum, die Reise, die Ewigkeit und Gott Mike Dooley / Livro Capa mole
common.buy 13.51 €
Scioa. L’Africa di Arthur Rimbaud / Livro Livro
common.buy 15.52 €

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions. The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

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 Numerical Software Verification
Autor Alessandro Abate, Sylvie Boldo
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2017
Número de páginas 115
EAN 9783319635002
ISBN 331963500X
Código Libristo 16495678
Editoras Springer International Publishing AG
Peso 2234
Dimensões 155 x 235 x 8

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas > Testagem e verificação de programas
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

From German Prisoner of War to American Citizen Barbara Schmitter Heisler / Livro Capa mole
common.buy 40.54 €
Adventures Of ELT The Super Dog Daniel R Pard / Livro Capa mole
common.buy 13.91 €
Return to Circa '96 Bob Sawatzki / Livro Capa mole
common.buy 23.39 €
Grow Great Vegetables in North Carolina Ira Wallace / Livro Capa mole
common.buy 13.71 €
Lonely Planet Experience Italy Erica Firpo / Livro Capa mole
common.buy 25.51 €
Wing Chun Punching Richard Wonnacott / Livro Capa mole
common.buy 10.58 €

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?