Articles liés à Leveraging Applications of Formal Methods, Verification...
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 79,10
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Leveraging Applications of Formal Methods, Verification...
Image fournie par le vendeur
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Edité par
Springer International Publishing, 2020
ISBN 10 : 3030613615
ISBN 13 : 9783030613617
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 410067212
Quantité disponible : Plus de 20 disponibles
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (Theoretical Computer Science and General Issues)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783030613617_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20¿30, 2020, Proceedings, Part I
ISBN 10 : 3030613615
ISBN 13 : 9783030613617
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783030613617
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Edité par
Springer International Publishing Okt 2020, 2020
ISBN 10 : 3030613615
ISBN 13 : 9783030613617
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. 608 pp. Englisch. N° de réf. du vendeur 9783030613617
Quantité disponible : 2 disponible(s)
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging . (Lecture Notes in Computer Science, 12476)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783030613617
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
ISBN 10 : 3030613615
ISBN 13 : 9783030613617
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 608 pp. Englisch. N° de réf. du vendeur 9783030613617
Quantité disponible : 2 disponible(s)
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. XXIII, 582 2427 illus., 110 illus. in color. 1 Edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26384560707
Quantité disponible : 4 disponible(s)
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (Theoretical Computer Science and General Issues)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783030613617
Quantité disponible : Plus de 20 disponibles
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. XXIII, 582 2427 illus., 110 illus. in color. N° de réf. du vendeur 379343260
Quantité disponible : 4 disponible(s)
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. XXIII, 582 2427 illus., 110 illus. in color. N° de réf. du vendeur 18384560713
Quantité disponible : 4 disponible(s)