«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

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Tests and Proofs Dirk Beyer
Código Libristo: 24519984
Editores Springer Nature Switzerland AG, septiembre 2019
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Pro... 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

Die Welt der Schlümpfe - Die Ferienschlümpfe. Bd.7 Max Murmel / Libro Tapa dura
common.buy 14.19 €
Disney MM Refresh Core, Mickey, 25cm / Juego/Juguete Juego
common.buy 15.59 €
Les miznúcich hviezd Kristin Harmelová / Libro Tapa dura
common.buy 16.59 €
Prévenir l'infarctus et l'accident vasculaire cérébral Michel de Lorgeril / Libro Tapa blanda
common.buy 33.49 €
Neuere Anschauungen Auf Dem Gebiete Der Anorganischen Chemie (1920) Alfred Werner / Libro Tapa blanda
common.buy 39.69 €
Planeet Vet / Libro Tapa blanda
common.buy 22.29 €
Visión, La GABRIEL HERNANDEZ / Libro Tapa blanda
common.buy 17.29 €
Einheitlichkeit der paulinischen Briefe an der Hand CARL CLEMEN / Libro Tapa blanda
common.buy 18.79 €
Indonézia Baričák Pavel "Hirax" / Libro Tapa dura
common.buy 15.59 €
Tanrilar Okulu Stefano E. D´Anna / Libro Tapa blanda
common.buy 27.39 €
Le Theatre Francais, Mademoiselle Georges-Weimer Et l'Odeon Ferdinand De Laboullaye / Libro Tapa blanda
common.buy 14.19 €
Antropologie Dan Rhodes / Libro Tapa blanda
common.buy 7.59 €
Die UdSSR und die deutsche Frage 1941-1948. Jochen P. Laufer / Libro Tapa dura
common.buy 103.29 €

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 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 Dirk Beyer, Chantal Keller
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2019
Número de páginas 207
EAN 9783030311568
Código Libristo 24519984
Editores Springer Nature Switzerland AG
Peso 454
Dimensiones 155 x 235 x 13

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
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

art of Anatole France Dushan Bresky / Libro Tapa dura
common.buy 119.29 €
The Liberty Bell Mary Firestone / Libro Tapa blanda
common.buy 9.39 €
Hypnotism in Mental and Moral Culture John Duncan Quackenbos / Libro Tapa dura
common.buy 47.49 €
Living or Dead Labor Unions .. Caroline Nelson / Libro Tapa dura
common.buy 27.89 €
Bertha, Our Little German Cousin Mary Hazelton Blanchard Wade / Libro Tapa blanda
common.buy 16.79 €
Global Future of Higher Education and the Academic Profession Philip G. Altbach / Libro Tapa blanda
common.buy 116.19 €
Virtual Point of Freedom Lorenzo Chiesa / Libro Tapa blanda
common.buy 40.69 €
This Is Your Mind On Plants Michael Pollan / Audiolibro MP3
common.buy 12.19 €
Diversity in Career Preferences For Future Health Workers in Rwanda World Bank / Libro Tapa blanda
common.buy 19.89 €
Americanization/Westernization of Austria Anton Pelinka / Libro Tapa blanda
common.buy 77.69 €
Optical Bistability III Hyatt M. Gibbs / Libro Tapa blanda
common.buy 112.79 €
Formation Of The Republican Party As A National Political Organization (1911) Saul Philip Kleeberg Gordon / Libro Tapa blanda
common.buy 29.89 €
Molecular Processes in Plasmas Yukikazu Itikawa / Libro Tapa blanda
common.buy 112.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?