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

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Tests and Proofs Catherine Dubois
Código Libristo: 19406924
Editores Springer International Publishing AG, junio 2018
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Pro... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Bývalý cizinec Valentin Popov / Libro Tapa blanda
common.buy 5.79 €
Analisis de la realidad socioeconomica en Chile Benjamín Israel Navon / Libro Tapa blanda
common.buy 23.69 €
La Chute d'Albert Camus Nathalie Ginestier / Libro Tapa blanda
common.buy 28.69 €
280 huiles essentielles (Poche) Michel Dogna / Libro Tapa blanda
common.buy 13.69 €
Ffordd Beryglus, Y T. Llew Jones / Libro electrónico Adobe ePub DRM
common.buy 7.69 €
Ombres chinoises Petit Guide / Libro electrónico Adobe ePub DRM
common.buy 3.59 €

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

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 Tests and Proofs
Autor Catherine Dubois, Burkhart Wolff
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2018
Número de páginas 185
EAN 9783319929934
ISBN 3319929933
Código Libristo 19406924
Editores Springer International Publishing AG
Peso 314
Dimensiones 155 x 235 x 12

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 > Teoría matemática de la computación
Computación e informática > Tecnología de la información: cuestiones generales
Computación e informática > Seguridad informática
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

Journey to Antipodes Jay C Bugg / Libro Tapa blanda
common.buy 20.49 €
Let Rome Fall WENDY ROMAN / Libro Tapa blanda
common.buy 11.19 €
Reward for High Public Office Barbara Nunberg / Libro Tapa blanda
common.buy 77.69 €
The Big Adios: Western Digest Jim Wilsky / Libro Tapa blanda
common.buy 8.79 €
Ancient Egypt 500-Piece Puzzle Albert Racinet / Juego/Juguete Juego
common.buy 21.79 €

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?