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

Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods Marsha Chechik
Código Libristo: 42849724
Editores Springer, Berlin, abril 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Libro Tapa blanda
common.buy 9.79 €
Moins un Joanniez / Libro Tapa blanda
common.buy 11.49 €
Locke & Key Joe Hill / Libro Tapa dura
common.buy 40.89 €
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Libro Tapa blanda
common.buy 36.39 €
Bonjour Pansori Han / Libro Tapa blanda
common.buy 31.19 €
Trace et disparition Brocchini / Libro Tapa blanda
common.buy 20.89 €
Basics Schallschutz Dominic Kampshoff / Libro Tapa blanda
common.buy 25.09 €
Štedrovečerné rozprávky Miklós Malvina / Libro Tapa dura
common.buy 6.09 €
Cadena de oro Kolton / Libro Tapa blanda
common.buy 9.59 €
La Ligue de Salut La Gervaisais-N-L-M / Libro Tapa blanda
common.buy 14.19 €

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. 

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 Formal Methods
Autor Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2023
Número de páginas 676
EAN 9783031274800
Código Libristo 42849724
Editores Springer, Berlin
Peso 929
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

Journals of the Common Council, Board of Aldermen, and the Joint Conventions of Said Bodies, for the Year 1885. John L McMaster / Libro Tapa blanda
common.buy 24.89 €
Die Closer To Me David Kuhnlein / Libro Tapa blanda
common.buy 16.59 €
Holy Ghost Tales: Vol 1 Jonathan Harris / Libro Tapa blanda
common.buy 16.39 €
Bimladadi's Dream Aurobindo Ghosh / Libro Tapa blanda
common.buy 10.09 €
The Cohort Nathaniel Sizemore / Libro Tapa blanda
common.buy 22.99 €
Leatherface Baroness Orczy / Libro Tapa blanda
common.buy 36.39 €
Accidental Christian SHARON LEE FOLEY / Libro Tapa dura
common.buy 24.99 €
Fairground Attraction: A debut poetry collection Sally Anne Nash / Libro Tapa blanda
common.buy 9.79 €
Popular
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Libro Tapa blanda
common.buy 16.39 €
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Libro Tapa dura
common.buy 56.29 €
Linear Algebra: Examples And Applications Alain M. Robert / Libro Tapa dura
common.buy 130.79 €
Económico
Life in Half a Second Matthew Michalewicz / Libro Tapa blanda
common.buy 11.39 €
Taste Your Emotions Damien Marie Athope / Libro Tapa blanda
common.buy 11.89 €
Screen Acting Peter Kramer / Libro Tapa blanda
common.buy 65.89 €
Integrity in Depth John Beebe / Libro Tapa blanda
common.buy 18.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?