Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.
Mehr
CHF 92.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Kordon, Fabrice / Huisman, Marieke
- ISBN: 978-1-01-327120-5
- EAN: 9781013271205
- Produktnummer: 35065500
- Verlag: Saint Philip Street Press
- Sprache: Englisch
- Erscheinungsjahr: 2020
- Seitenangabe: 280 S.
- Masse: H28.0 cm x B21.6 cm x D1.5 cm 712 g
- Abbildungen: Paperback
- Gewicht: 712
54 weitere Werke von Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Ebook (PDF Format)
CHF 97.00
Leveraging Applications of Formal Methods, Verification, and Validation
Ebook (PDF Format)
CHF 73.50
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Ebook (PDF Format)
CHF 88.50
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
Ebook (PDF Format)
CHF 68.50
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
Ebook (PDF Format)
CHF 97.00
Leveraging Applications of Formal Methods, Verification and Validation. Verification
Ebook (PDF Format)
CHF 87.50
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Ebook (PDF Format)
CHF 97.00
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Ebook (PDF Format)
CHF 85.00
Leveraging Applications of Formal Methods, Verification, and Validation
Ebook (PDF Format)
CHF 153.50
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Ebook (PDF Format)
CHF 125.00
Leveraging Applications of Formal Methods, Verification, and Validation
Ebook (PDF Format)
CHF 120.00
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Ebook (PDF Format)
CHF 116.00
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Ebook (PDF Format)
CHF 94.50
Leveraging Applications of Formal Methods, Verification and Validation
Ebook (PDF Format)
CHF 180.50
Bewertungen
Anmelden