«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

Hasta 30 días para devoluciones

Clientes que también han comprado

Yoga, Sex and Happiness Carolin-Marie Roth / Libro Tapa blanda
common.buy 26.29 €
Locke & Key Joe Hill / Libro Tapa dura
common.buy 40.69 €
mercato della salute Franco Cosmi / Libro Tapa blanda
common.buy 26.99 €
Большая книга приключений Конни. Путешествия Лиана Шнайдер / Libro Tapa dura
common.buy 19.79 €
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Libro Tapa blanda
common.buy 36.19 €
Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Libro Tapa blanda
common.buy 8.79 €
Alan E. Baklayan Mariam T. Tennoe / Libro Tapa blanda
common.buy 113.89 €
Moins un Joanniez / Libro Tapa blanda
common.buy 11.19 €
Qualidade em Turismo na Regi?o Centro de Portugal Andreia Moura / Libro Tapa blanda
common.buy 59.99 €
Briefe, die neueste Litteratur betreffend, Teil 15, Briefe, die neueste Litteratur betreffend Teil 15 Moses Mendelssohn / Libro Tapa dura
common.buy 130.19 €
Lombardia slow foot. Montagna per tutte le gambe. Provincia di Pavia e Varese Giuseppe Miotti / Libro Libro
common.buy 7.99 €
I love Kawaii. El arte japonés de para dibujar cosas dulces Nguyen / Libro Tapa blanda
common.buy 15.79 €
Test comentados para oposiciones de la Constitución Española Usero López / Libro Tapa blanda
common.buy 33.69 €
Bonjour Pansori Han / Libro Tapa blanda
common.buy 30.99 €
PC-7M popisovač Posca, 4,5-5,5 mm, černý (24) / Artículos de papelería Artículos de papelería
common.buy 4.49 €
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 €
These: Des Privileges Sur Les Meubles Flachat-A / Libro Tapa blanda
common.buy 17.89 €
Cadena de oro Kolton / Libro Tapa blanda
common.buy 9.39 €
Jerusalem, Jerusalem Berengar Pfahl / Video DVD
common.buy 19.39 €
La Ligue de Salut La Gervaisais-N-L-M / Libro Tapa blanda
common.buy 13.89 €

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

Banker's Death: Temptation in Florence Beate Boeker / Libro Tapa blanda
common.buy 13.49 €
The Last Exchange Martin / Libro Tapa dura
common.buy 25.79 €
Popular
One For All Lillie Lainoff / Libro Tapa blanda
common.buy 10.99 €
Holy Ghost Tales: Vol 1 Jonathan Harris / Libro Tapa blanda
common.buy 16.39 €
Quaking of America Resmaa Menakem / Libro Tapa blanda
common.buy 15.79 €
Die Closer To Me David Kuhnlein / Libro Tapa blanda
common.buy 16.59 €
Bimladadi's Dream Aurobindo Ghosh / Libro Tapa blanda
common.buy 10.09 €
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 €
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 €
The Cohort Nathaniel Sizemore / Libro Tapa blanda
common.buy 22.99 €
Linear Algebra: Examples And Applications Alain M. Robert / Libro Tapa dura
common.buy 127.19 €
Integrity in Depth John Beebe / Libro Tapa blanda
common.buy 18.89 €
Screen Acting Peter Kramer / Libro Tapa blanda
common.buy 69.09 €
Taste Your Emotions Damien Marie Athope / Libro Tapa blanda
common.buy 11.89 €
Económico
Life in Half a Second Matthew Michalewicz / Libro Tapa blanda
common.buy 11.39 €
Semiotics of Religion Robert A Yelle / Libro Tapa dura
common.buy 262.49 €
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Libro Tapa dura
common.buy 56.29 €
Popular
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Libro Tapa blanda
common.buy 16.39 €

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?