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 €
phone Contacto phoneComo comprar

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Numerical Software Verification Sergiy Bogomolov
Código Libristo: 15802752
Editoras Springer International Publishing AG, fevereiro 2017
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar... Descrição completa
? points 122 b
50.47 €
Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Livro Capa mole
common.buy 18.97 €
Intermezzo Sally Rooney / Livro Folha
common.buy 16.25 €
Demencja. Podstawy Innes Anthea / Livro Capa mole
common.buy 13.42 €
Le second enfer d'Etienne Dolet Etienne Dolet / Livro Livro de capa dura
common.buy 39.27 €
Uysal Kiz / Livro Capa mole
common.buy 9.08 €
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Livro Livro de capa dura
common.buy 150.74 €
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Livro Capa mole
common.buy 20.49 €
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Livro Livro de capa dura
common.buy 9.68 €
All'improvviso a New York Melissa Hill / Livro Capa mole
common.buy 9.58 €
La fada negra XAVIER THEROS / Livro Capa mole
common.buy 26.44 €

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV 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 Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2017
Número de páginas 107
EAN 9783319542911
ISBN 3319542915
Código Libristo 15802752
Editoras Springer International Publishing AG
Peso 1883
Dimensões 155 x 235 x 7

Categorias

Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Bases de dados > Extração de dados
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 > Inteligência artificial
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

History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Livro Capa mole
common.buy 18.87 €
Stones of Christ Church Judith (Archivist) Curthoys / Livro Livro de capa dura
common.buy 38.36 €
When I Was a Boy DE BLAUWER KATRIEN / Livro Livro de capa dura
common.buy 39.97 €
Arboretum America Diana Beresford-Kroeger / Livro Capa mole
common.buy 21.70 €
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Livro Livro de capa dura
common.buy 21.70 €
Mining and Farming in Minecraft Josh Gregory / Livro Livro de capa dura
common.buy 25.64 €
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Livro Capa mole
common.buy 59.76 €
He Went for a Soldier JOHN STRANGE WINTER / Livro Livro de capa dura
common.buy 26.14 €
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Livro Capa mole
common.buy 5.44 €
Sentiments of the Professors of Physick, in the Foreign Universities, Concerning the Operations and Method of Curing the Diseases Incident to the eye, John Taylor / Livro Livro de capa dura
common.buy 22.91 €
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Livro Capa mole
common.buy 29.37 €
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Livro Livro de capa dura
common.buy 3.93 €
Concise History of Veterinary Medicine Susan D. Jones / Livro Livro de capa dura
common.buy 86.52 €
Kentucky Anthology Wade Hall / E-book Adobe ePub DRM
common.buy 48.46 €
Understanding Financial Risk Management, Third Edition Corelli / Livro Capa mole
common.buy 67.54 €
Cajal. El arte de la ciencia. / Livro Livro de capa dura
common.buy 33.41 €
The 31st Consort, Vol. 1 Momotomoe / Livro Capa mole
common.buy 8.57 €
Medical Romance June 2016 Books 1-6 Robin Gianna / E-book Adobe ePub DRM
common.buy 17.66 €
Tailored Realities Brandon Sanderson / Livro Livro de capa dura
common.buy 22.91 €
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Livro Capa mole
common.buy 11.70 €
Food Protein Sources N. W. Pirie / Livro Capa mole
common.buy 38.76 €
Crystal Field Effects in Metals and Alloys A. Furrer / Livro Capa mole
common.buy 91.67 €
A SURVEY OF GREEK CIVILIZATION JOHN PENTLA MAHAFFY / Livro Livro de capa dura
common.buy 29.37 €
Summer Stock Phipps-J / Livro Livro de capa dura
common.buy 17.56 €

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?