Artículos relacionados a Formal Aspects of Component Software: 17th International...
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings: 13077 (Programming and Software Engineering) - Tapa blanda
Sinopsis
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.
The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
"Sinopsis" puede pertenecer a otra edición de este libro.
EUR 54,76
EUR 17,08 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 53,82
EUR 5,14 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Formal Aspects of Component Software: 17th International...
Imagen de archivo
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Programming and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783030906351_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Aspects of Component Software
Publicado por
Springer International Publishing Nov 2021, 2021
ISBN 10: 3030906353
ISBN 13: 9783030906351
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 188 pp. Englisch. Nº de ref. del artículo: 9783030906351
Cantidad disponible: 2 disponibles
Imagen del vendedor
Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28¿29, 2021, Proceedings
Publicado por
Springer International Publishing, 2021
ISBN 10: 3030906353
ISBN 13: 9783030906351
Nuevo
Taschenbuch
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. Nº de ref. del artículo: 9783030906351
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Aspects of Component Software
Publicado por
Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10: 3030906353
ISBN 13: 9783030906351
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and. Nº de ref. del artículo: 514915340
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Aspects of Component Software : 17th International Conference, Facs 2021, Virtual Event, October 28?29, 2021, 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: 43991287-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Programming and Software Engineering)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783030906351
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783030906351
Cantidad disponible: 10 disponibles
Imagen del vendedor
Formal Aspects of Component Software : 17th International Conference, Facs 2021, Virtual Event, October 28?29, 2021, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 43991287-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Aspects of Component Software : 17th International Conference, Facs 2021, Virtual Event, October 28?29, 2021, 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: 43991287
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Aspects of Component Software : 17th International Conference, Facs 2021, Virtual Event, October 28?29, 2021, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 43991287
Cantidad disponible: Más de 20 disponibles