Formal Methods and Software Engineering | 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

Adrian Riesco (u. a.)

ISBN 10: 3031172434 ISBN 13: 9783031172434
Editorial: Springer, 2022
Nuevos Taschenbuch

Librería: preigu, Osnabrück, Alemania Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 5 de agosto de 2024

Este artículo en concreto ya no está disponible.
Ver los artículos de este vendedor Crear una petición para artículos similares

Descripción

Descripción:

Formal Methods and Software Engineering | 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings | Adrian Riesco (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2022 | Springer | EAN 9783031172434 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de ref. del artículo 123481169

Denunciar este artículo

Sinopsis:

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

"Sobre este título" puede pertenecer a otra edición de este libro.

Detalles bibliográficos

Título: Formal Methods and Software Engineering | ...
Editorial: Springer
Año de publicación: 2022
Encuadernación: Taschenbuch
Condición: Neu

Los mejores resultados en AbeBooks

Imagen de archivo

Unbekannt
Publicado por Palgrave Macmillan, 2022
ISBN 10: 3031172434 ISBN 13: 9783031172434
Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Hervorragend. Zustand: Hervorragend | Seiten: 460 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. Nº de ref. del artículo: 40555530/1

Contactar al vendedor

Comprar usado

EUR 40,98
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 7 disponibles

Añadir al carrito

Imagen de archivo

Riesco, Adrian
Publicado por Springer, 2022
ISBN 10: 3031172434 ISBN 13: 9783031172434
Nuevo Tapa blanda

Librería: Brook Bookstore, Milano, MI, Italia

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: new. Nº de ref. del artículo: VHMN0MUJ6D

Contactar al vendedor

Comprar nuevo

EUR 41,49
Envío por EUR 27,99
Se envía de Italia a Estados Unidos de America

Cantidad disponible: 5 disponibles

Añadir al carrito

Imagen de archivo

Riesco, Adrian
Publicado por Springer, 2022
ISBN 10: 3031172434 ISBN 13: 9783031172434
Nuevo Tapa blanda

Librería: Brook Bookstore On Demand, Napoli, NA, Italia

Calificación del vendedor: 3 de 5 estrellas Valoración 3 estrellas, Más información sobre las valoraciones de los vendedores

Condición: new. Nº de ref. del artículo: VHMN0MUJ6D

Contactar al vendedor

Comprar nuevo

EUR 46,22
Envío por EUR 6,80
Se envía de Italia a Estados Unidos de America

Cantidad disponible: 5 disponibles

Añadir al carrito

Imagen del vendedor

ISBN 10: 3031172434 ISBN 13: 9783031172434
Nuevo Kartoniert / Broschiert
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume we. Nº de ref. del artículo: 693973832

Contactar al vendedor

Comprar nuevo

EUR 48,37
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Riesco, Adrian (Editor) / Zhang, Min (Editor)
Publicado por Springer, 2022
ISBN 10: 3031172434 ISBN 13: 9783031172434
Nuevo Paperback
Impresión bajo demanda

Librería: Revaluation Books, Exeter, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Brand New. 455 pages. 9.25x6.10x0.87 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __3031172434

Contactar al vendedor

Comprar nuevo

EUR 53,49
Envío por EUR 14,43
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Adrian Riesco
Publicado por Springer, Springer Okt 2022, 2022
ISBN 10: 3031172434 ISBN 13: 9783031172434
Nuevo Taschenbuch
Impresión bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 460 pp. Englisch. Nº de ref. del artículo: 9783031172434

Contactar al vendedor

Comprar nuevo

EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Min Zhang
Publicado por Springer International Publishing, 2022
ISBN 10: 3031172434 ISBN 13: 9783031172434
Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. Nº de ref. del artículo: 9783031172434

Contactar al vendedor

Comprar nuevo

EUR 53,49
Envío por EUR 63,46
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Min Zhang
ISBN 10: 3031172434 ISBN 13: 9783031172434
Nuevo Taschenbuch
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. 460 pp. Englisch. Nº de ref. del artículo: 9783031172434

Contactar al vendedor

Comprar nuevo

EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Adrian Riesco
ISBN 10: 3031172434 ISBN 13: 9783031172434
Nuevo Paperback Original o primera edición

Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: new. Paperback. This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783031172434

Contactar al vendedor

Comprar nuevo

EUR 56,21
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Riesco, Adrian
Publicado por Springer 2022-10, 2022
ISBN 10: 3031172434 ISBN 13: 9783031172434
Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783031172434

Contactar al vendedor

Comprar nuevo

EUR 57,00
Envío por EUR 17,88
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 10 disponibles

Añadir al carrito

Existen otras 8 copia(s) de este libro

Ver todos los resultados de su búsqueda