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

Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Verified Software. Theories, Tools, and Experiments Andrei Paskevich
Código Libristo: 18622645
Editores Springer International Publishing AG, diciembre 2017
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Zeszyt 3 linie z tłem niebieski Praca Zbiorowa / Libro Tapa blanda
common.buy 3.19 €
Saga Dune 1-6. La mayor epopeya de todos los tiempos Frank Herbert / Libro Tapa blanda
common.buy 75.95 €
Alle Arten von Karma / Libro Tapa blanda
common.buy 18.89 €
Próximamente
Le Code Secret Priya Hemenway / Libro Tapa dura
common.buy 16.79 €
SLYTHERIN J.K. ROWLING / Libro Tapa blanda
common.buy 13.19 €
Pamiętnik z powstania warszawskiego Mirona Białoszewskiego. Wojciechowska Małgorzata / Libro Tapa blanda
common.buy 2.69 €
Camino de servidumbre Friedrich A. von Hayek / Libro Tapa blanda
common.buy 17.59 €
Popular
Prufungstraining DaF Jürgen Weigmann / Libro Tapa blanda
common.buy 25.19 €
Paganismo, ?En Tu Cristianismo? Barna / Libro Tapa blanda
common.buy 15.39 €
BA MUNCH GERMAN Ulrich Bischoff / Libro Tapa dura
common.buy 14.99 €
Black and White - The Jazz Piano, Bildband und 4 Audio-CDs Peter Bölke / Libro Tapa dura
common.buy 53.29 €
Asterix - Asterix Gallus Rene Goscinny / Libro Tapa dura
common.buy 13.69 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

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 Verified Software. Theories, Tools, and Experiments
Autor Andrei Paskevich, Thomas Wies
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2017
Número de páginas 211
EAN 9783319723075
ISBN 3319723073
Código Libristo 18622645
Editores Springer International Publishing AG
Peso 454
Dimensiones 155 x 235 x 10

Categorías

Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Modelos y simulaciones por ordenador
Computación e informática > Ciencias de la computación > Inteligencia artificial
Computación e informática > Tecnología de la información: cuestiones generales
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

Living Faiths Buddhism Student Book CONSTANCE / Libro Tapa blanda
common.buy 27.79 €
Top Hits from TV, Movies & Musicals Instrumental Solos Alfred Publishing / Libro Tapa blanda
common.buy 29.49 €
Yugoslav Fighter Colours 1918-1941. Volume 1 Djordie Nikolic / Libro Tapa dura
common.buy 45.79 €
Popular
Nordic Tales Chronicle Books / Libro Tapa dura
common.buy 21.89 €
Popular Próximamente
Textures from Nature in Textile Art Marian Jazmik / Libro Tapa dura
common.buy 26.29 €
Microdosing with Amanita Muscaria Baba Masha / Libro Tapa blanda
common.buy 16.49 €
Lizards and Snakes of Alabama Craig Guyer / Libro Tapa blanda
common.buy 33.79 €
Wilhelm Von Humboldts Linguistical Studies George J Adler / Libro Tapa blanda
common.buy 21.99 €
Untranslatable Julia Klatt Singer / Libro Tapa blanda
common.buy 13.69 €
My Favorite Thing Is Monsters Emil Ferris / Libro Tapa blanda
common.buy 35.89 €
Popular
Leaders Eat Last Simon Sinek / Libro Tapa dura
common.buy 25.89 €
On Kindness Adam Phillips / Libro Tapa blanda
common.buy 14.29 €
Popular
Becoming a Supple Leopard Kelly Starrett / Libro Tapa dura
common.buy 55.09 €
High-Tech High-Touch Recruiting Barbara Bruno / Libro Tapa blanda
common.buy 45.59 €
Unlocking Employment Law Chris Turner / Libro electrónico Adobe ePub DRM
common.buy 79.29 €
Popular
No One Belongs Here More Than You Miranda July / Libro Tapa blanda
common.buy 10.99 €
Popular
Management 3.0 Jurgen Appelo / Libro Tapa blanda
common.buy 48.29 €
Conquest of Gaul Julius Caesar / Libro Tapa blanda
common.buy 10.39 €
Popular
This Time It's Real Ann Liang / Libro Tapa blanda
common.buy 9.89 €
Definitive Guide to ARM (R) Cortex (R)-M3 and Cortex (R)-M4 Processors Joseph Yiu / Libro Tapa blanda
common.buy 64.39 €
Gender in STEM Education in the Arab Gulf Countries Martina Dickson / Libro electrónico Adobe ePub DRM
common.buy 185.69 €

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?