«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

19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Integrated Formal Methods Nikolai Kosmatov
Código Libristo: 46583255
Editores Springer, Berlin, noviembre 2024
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integr... Descripción completa
? points 386 b
157.89 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Voice over IP M Westphal / Libro Tapa blanda
common.buy 13.99 €
SPA-RIGBY PM COLECCION Rigby / Libro Tapa dura
common.buy 84.89 €
Autorem je každý z nás Jitka Malá / Libro Tapa blanda
common.buy 8.89 €

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.  

The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in 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 Nikolai Kosmatov, Laura Kovács
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2025
Número de páginas 400
EAN 9783031765537
Código Libristo 46583255
Editores Springer, Berlin
Peso 534
Dimensiones 155 x 235

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

Popular Próximamente
Gravity Falls Journal 3 Rob Ronzetti / Libro Tapa dura
common.buy 17.19 €
Autoimmune Fix Tom O'bryan / Libro Tapa dura
common.buy 24.09 €
Einstein: The Life and Times Ronald W. Clark / Libro Tapa blanda
common.buy 17.89 €
The True Story of Fake News : How Mainstream Media Manipulates Millions Mark Dice / Libro Tapa blanda
common.buy 20.99 €
Someone Had to Do It Amber Brown / Libro Tapa blanda
common.buy 17.29 €
Don't Fix Women Joy Burnford / Libro Tapa blanda
common.buy 18.09 €
Popular
[Oshi No Ko], Vol. 2 Aka Akasaka / Libro Tapa blanda
common.buy 11.19 €
The Adventures of Tom Sawyer Mark Twain / Libro Tapa dura
common.buy 9.89 €

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?