«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

Idioma InglésInglés
Libro Tapa blanda
Libro Integrated Formal Methods Marie Farrell
Código Libristo: 49776569
Editores Springer-Verlag GmbH, enero 2026
This book constitutes the refereed proceedings of the 20th International Conference on Integrated Fo... Descripción completa
? points 183 b
74.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

También puede interesarle

Kay Nielsen. East of the Sun and West of the Moon Noel Daniel / Libro Tapa dura
common.buy 31.89 €
Hokuei: Masterpieces of Japanese Actor Prints John Fiorillo / Libro Tapa dura
common.buy 62.19 €
Popular
Kids, Wait Till You Hear This! Liza Minnelli / Libro Tapa blanda
common.buy 17.99 €
Homosexuality, Transidentity, and Islam Adi Bharat / Libro Tapa blanda
common.buy 67.99 €
Manual For Submarine Mining / Libro Tapa blanda
common.buy 17.89 €

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, IFM 2025, which took place in Paris, France, during November 19-21, 2025.

The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of  formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.

 

 

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 Marie Farrell
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2026
Número de páginas 536
EAN 9783032107930
ISBN 3032107938
Código Libristo 49776569
Editores Springer-Verlag GmbH
Peso 803

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

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?