Artículos relacionados a Integrated Formal Methods: 19th International Conference,...
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings: 15234 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.
The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Integrated Formal Methods: 19th International Conference,...
Imagen de archivo
Integrated Formal Methods (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: M6GASVJIQJ
Comprar nuevo
EUR 118,26
Envío por EUR 6,80
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 del vendedor
Integrated Formal Methods
Publicado por
Springer, Springer Nov 2024, 2024
ISBN 10: 3031765532
ISBN 13: 9783031765537
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 volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions.The conference focuses onall aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice. 352 pp. Englisch. Nº de ref. del artículo: 9783031765537
Comprar nuevo
EUR 149,79
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 del vendedor
Integrated Formal Methods
Publicado por
Springer Verlag GmbH, 2024
ISBN 10: 3031765532
ISBN 13: 9783031765537
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Nº de ref. del artículo: 1887555887
Comprar nuevo
EUR 127,40
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Integrated Formal Methods | 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Integrated Formal Methods | 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings | Nikolai Kosmatov (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2024 | Springer | EAN 9783031765537 | 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: 130115214
Comprar nuevo
EUR 131,15
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 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 volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions.The conference focuses onall aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice. Nº de ref. del artículo: 9783031765537
Comprar nuevo
EUR 171,61
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
Imagen del vendedor
Integrated Formal Methods
Publicado por
Springer, Springer Nov 2024, 2024
ISBN 10: 3031765532
ISBN 13: 9783031765537
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 352 pp. Englisch. Nº de ref. del artículo: 9783031765537
Comprar nuevo
EUR 149,79
Envío por EUR 60,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