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

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Model Checking Software Thomas Neele
Código Libristo: 46145408
Editores Springer, Berlin, octubre 2024
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking... Descripción completa
? points 138 b
56.49 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

SPA-REBELIN DE LAS PALABRAS / Andrea Ferrari / Libro Tapa blanda
common.buy 15.19 €
PAUL MEALOR: IN THE BLEAK MIDWINTER CHANT ROSSETTI Libro binding.
common.buy 6.79 €
Catalogue de Tableaux Modernes, Pastels, Aquarelles Et Dessins, Tableaux Et Dessins Anciens Paul Durand-Ruel / Libro Tapa blanda
common.buy 14.19 €
Langoat et ses noms de lieux Kervella Libro Tapa blanda
common.buy 9.09 €
ultimo Freddie Mercury. 1986-1991: gli ultimi anni di vita del mito Roberto De Ponti / Libro Tapa dura
common.buy 23.59 €

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.

The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

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 Model Checking Software
Autor Thomas Neele, Anton Wijs
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2024
Número de páginas 260
EAN 9783031661488
Código Libristo 46145408
Editores Springer, Berlin
Peso 435
Dimensiones 155 x 235

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático
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

History of the Jewish People in the Age of Jesus Christ: Volume 1 Emil Schurer / Libro Tapa dura
common.buy 258.99 €
Violent fathering and the risks to children Lynne Harne / Libro Tapa dura
common.buy 103.79 €
Bed of Roses Nora Roberts / Libro Tapa blanda
common.buy 11.19 €
The old Burying Ground of Fairfield, Conn Kate E. Perry / Libro Tapa blanda
common.buy 21.79 €
Translations From The German: In Prose And Verse (1812) Ellis Cornelia Knight / Libro Tapa blanda
common.buy 22.99 €
Curtis's Botanical Magazine, Volume 121... David Prain / Libro Tapa blanda
common.buy 15.59 €

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?