Noch Fragen? 0800 / 33 82 637

Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

Produktform: E-Buch Text Elektronisches Buch in proprietärem


Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-031-02551-8 / 978-3031025518 / 9783031025518

Verlag: Springer International Publishing

Erscheinungsdatum: 31.05.2022

Seiten: 65

Autor(en): Corina S. Păsăreanu

26,74 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück