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

Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Idioma InglésInglés
Libro electrónico Adobe ePub DRM
Libro electrónico Integrated Formal Methods Carlo A. Furia
Código Libristo: 41049828
Editores Springer, agosto 2018
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Fo... Descripción completa
? points 155 b
63.29 €
En existencia Descarga instantánea

También puede interesarle

Through the Looking Glass Richard Idemon / Libro Tapa blanda
common.buy 25.09 €
New Theoretical and Practical French Grammar Charles Jean Delille / Libro Tapa dura
common.buy 40.69 €
Polygeneration Systems Francesco Calise / Libro Tapa blanda
common.buy 234.19 €
Intercept Gordon Corera / Libro electrónico Adobe ePub DRM
common.buy 4.59 €
Genesis Wave Book 1 Tim Russ / Audiolibro MP3
common.buy 15.99 €

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

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 Integrated Formal Methods
Autor Carlo A. Furia, Kirsten Winter
Idioma Inglés
Encuadernación Libro electrónico - Adobe ePub DRM
Fecha de publicación 2018
EAN 9783319989389
Código Libristo 41049828
Editores Springer

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 > Ciencias de la computación > Modelos y simulaciones por ordenador
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

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?