Artículos relacionados a Leveraging Applications of Formal Methods, Verification...
Leveraging Applications of Formal Methods, Verification and Validation: Applications: Applications : 9th International Symposium on Leveraging ... Computer Science and General Issues) - Tapa blanda
Sinopsis
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.
The papers presented were carefully reviewed and selected for inclusion in the proceedings.
Each volume focusses on an individual topic with topical section headings within the volume:
Part I, Verification Principles:
Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.
Part II, Engineering Principles:
Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.
Part III, Applications:
Reliable Smart Contracts:State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
"Sinopsis" puede pertenecer a otra edición de este libro.
EUR 61,95
EUR 17,19 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 58,31
EUR 5,17 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Leveraging Applications of Formal Methods, Verification...
Imagen de archivo
Leveraging Applications of Formal Methods, Verification and Validation: Applications (Theoretical Computer Science and General Issues)
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: ria9783030614669_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Publicado por
Springer International Publishing Okt 2020, 2020
ISBN 10: 3030614662
ISBN 13: 9783030614669
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 -The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. 508 pp. Englisch. Nº de ref. del artículo: 9783030614669
Cantidad disponible: 2 disponibles
Imagen del vendedor
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20¿30, 2020, Proceedings, Part III
Publicado por
Springer International Publishing, 2020
ISBN 10: 3030614662
ISBN 13: 9783030614669
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 - The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.Part III, Applications: Reliable Smart Contracts:State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems. Nº de ref. del artículo: 9783030614669
Cantidad disponible: 1 disponibles
Imagen del vendedor
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Publicado por
Springer International Publishing, 2020
ISBN 10: 3030614662
ISBN 13: 9783030614669
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 409463307
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Leveraging Applications of Formal Methods, Verification and Validation : Applications: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20?30, 2020, 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: 42151267-n
Cantidad disponible: 15 disponibles
Imagen de archivo
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal . (Lecture Notes in Computer Science, 12478)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783030614669
Cantidad disponible: 10 disponibles
Imagen del vendedor
Leveraging Applications of Formal Methods, Verification and Validation : Applications: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20?30, 2020, 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: 42151267
Cantidad disponible: 15 disponibles
Imagen de archivo
Leveraging Applications Of Formal Method
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: V9783030614669
Cantidad disponible: 15 disponibles
Imagen de archivo
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. XV, 490 840 illus., 83 illus. in color. 1 Edition NO-PA16APR2015-KAP. Nº de ref. del artículo: 26384560765
Cantidad disponible: 4 disponibles
Imagen de archivo
Leveraging Applications of Formal Methods, Verification and Validation: Applications
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. XV, 490 840 illus., 83 illus. in color. Nº de ref. del artículo: 379343266
Cantidad disponible: 4 disponibles