«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Numerical Software Verification

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

Idioma InglésInglés
Libro Tapa blanda
Libro Numerical Software Verification Sergiy Bogomolov
Código Libristo: 15802752
Editores Springer International Publishing AG, febrero 2017
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 11-15 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Libro Tapa blanda
common.buy 23.69 €
Intermezzo Sally Rooney / Libro Hoja
common.buy 19.09 €
Demencja. Podstawy Innes Anthea / Libro Tapa blanda
common.buy 16.79 €
Le second enfer d'Etienne Dolet Etienne Dolet / Libro Tapa dura
common.buy 49.19 €
Uysal Kiz / Libro Tapa blanda
common.buy 11.19 €
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Libro Tapa dura
common.buy 184.29 €
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Libro Tapa blanda
common.buy 25.79 €
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Libro Tapa dura
common.buy 11.99 €
All'improvviso a New York Melissa Hill / Libro Tapa blanda
common.buy 12.69 €
La fada negra XAVIER THEROS / Libro Tapa blanda
common.buy 32.79 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Numerical Software Verification
Autor Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2017
Número de páginas 107
EAN 9783319542911
ISBN 3319542915
Código Libristo 15802752
Editores Springer International Publishing AG
Peso 1883
Dimensiones 155 x 235 x 7

Categorías

Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Bases de datos > Recuperación de información
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Libro Tapa blanda
common.buy 22.99 €
Stones of Christ Church Judith (Archivist) Curthoys / Libro Tapa dura
common.buy 37.99 €
When I Was a Boy DE BLAUWER KATRIEN / Libro Tapa dura
common.buy 48.69 €
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Libro Tapa dura
common.buy 28.19 €
Mining and Farming in Minecraft Josh Gregory / Libro Tapa dura
common.buy 31.69 €
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Libro Tapa blanda
common.buy 70.19 €
He Went for a Soldier JOHN STRANGE WINTER / Libro Tapa dura
common.buy 31.79 €
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Libro Tapa blanda
common.buy 6.69 €
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 / Libro Tapa dura
common.buy 27.89 €
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Libro Tapa blanda
common.buy 35.79 €
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Libro Tapa dura
common.buy 4.89 €
Concise History of Veterinary Medicine Susan D. Jones / Libro Tapa dura
common.buy 104.09 €
Kentucky Anthology Wade Hall / Libro electrónico Adobe ePub DRM
common.buy 60.49 €
Understanding Financial Risk Management, Third Edition Corelli / Libro Tapa blanda
common.buy 79.79 €
Cajal. El arte de la ciencia. / Libro Tapa dura
common.buy 42.19 €
The 31st Consort, Vol. 1 Momotomoe / Libro Tapa blanda
common.buy 11.19 €
Medical Romance June 2016 Books 1-6 Robin Gianna / Libro electrónico Adobe ePub DRM
common.buy 22.09 €
Tailored Realities Brandon Sanderson / Libro Tapa dura
common.buy 28.59 €
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Libro Tapa blanda
common.buy 14.19 €
Food Protein Sources N. W. Pirie / Libro Tapa blanda
common.buy 46.69 €
Crystal Field Effects in Metals and Alloys A. Furrer / Libro Tapa blanda
common.buy 112.79 €
A SURVEY OF GREEK CIVILIZATION JOHN PENTLA MAHAFFY / Libro Tapa dura
common.buy 35.79 €
Summer Stock Phipps-J / Libro Tapa dura
common.buy 22.69 €
Complete Illustrated Guide to Beading & Making Jewellery Ann Kay / Libro Tapa dura
common.buy 17.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?