Zur Startseite wechseln
CHF 0.00
Kategorien
Englisch und andere Fremdsprachen
Englisch
Produktbild
Bernhard (Hrsg.) Steffen

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

Buch

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 Stat… Mehr

CHF 108.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails

Weitere Autoren: Margaria, Tiziana (Hrsg.)
  • ISBN: 978-3-030-61361-7
  • EAN: 9783030613617
  • Produktnummer: 35023323
  • Verlag: Springer International Publishing
  • Sprache: Englisch
  • Erscheinungsjahr: 2020
  • Seitenangabe: 608 S.
  • Masse: H23.5 cm x B15.5 cm x D3.2 cm 908 g
  • Auflage: 1st ed. 2020
  • Abbildungen: Paperback
  • Gewicht: 908

48 weitere Werke von Bernhard (Hrsg.) Steffen:

Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 130.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 126.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 145.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissimination, Applications Part II
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 135.00
Produktbild
SOFSEM 2017: Theory and Practice of Computer Science
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 94.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 97.00
Produktbild
Computing and Software Science
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 35.50
Produktbild
Leveraging Applications of Formal Methods
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 87.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 93.50
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 73.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 211.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 115.00
Produktbild
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
Ebook (PDF Format)
CHF 88.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 68.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 84.00
Produktbild
Model Checking, Synthesis, and Learning
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 68.50
Produktbild
Services and Visualization: Towards User-Friendly Design
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 100.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 100.00
Produktbild
Leveraging Applications of Formal Methods
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 93.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 97.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Verification
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 87.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 97.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 85.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 153.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 125.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 120.00
Produktbild
Verification, Model Checking, and Abstract Interpretation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 115.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 130.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 158.00
Produktbild
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 I
Buch
CHF 107.00
Produktbild
Computing and Software Science
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 115.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 104.00
Produktbild
Correct System Design
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 116.00
Produktbild
Verification, Model Checking, and Abstract Interpretation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 106.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 100.00
Produktbild
Correct System Design
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 126.00
Produktbild
Leveraging Applications of Formal Methods, Verification, and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 93.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 77.00
Produktbild
SOFSEM 2017: Theory and Practice of Computer Science
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 115.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 116.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 64.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 94.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 180.50
Produktbild
Transactions on Foundations for Mastering Change I
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 106.50
Produktbild
Transactions on Foundations for Mastering Change I
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 130.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 118.00
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Ebook (PDF Format)
CHF 82.50
Produktbild
Leveraging Applications of Formal Methods, Verification and Validation
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I
Buch
CHF 114.00

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...