Artículos relacionados a Model Checking Software: 30th International Symposium,...
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings: 14624 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Model Checking Software: 30th International Symposium,...
Imagen de archivo
Model Checking Software (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: XA0RGCW934
Comprar nuevo
EUR 46,22
Envío por EUR 5,50
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking Software : 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 48475532
Comprar usado
EUR 64,55
Envío por EUR 2,36
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Model Checking Software
Publicado por
Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10: 3031661486
ISBN 13: 9783031661488
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 270 pp. Englisch. Nº de ref. del artículo: 9783031661488
Comprar nuevo
EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Model Checking Software : 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 48475532-n
Comprar nuevo
EUR 78,13
Envío por EUR 2,36
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings (Lecture Notes in Computer Science, 14624)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9783031661488_new
Comprar nuevo
EUR 68,81
Envío por EUR 13,48
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. 2024th edition NO-PA16APR2015-KAP. Nº de ref. del artículo: 26401275068
Comprar nuevo
EUR 85,77
Envío por EUR 3,56
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 89, 2024, Proceedings
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 260 pages. 9.25x6.10x9.21 inches. In Stock. Nº de ref. del artículo: x-3031661486
Comprar nuevo
EUR 81,38
Envío por EUR 11,94
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand. Nº de ref. del artículo: 396183395
Comprar nuevo
EUR 86,09
Envío por EUR 7,76
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Model Checking Software: 30th International Symposium, Spin 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND. Nº de ref. del artículo: 18401275062
Comprar nuevo
EUR 86,54
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783031661488
Comprar nuevo
EUR 66,40
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles