Noch Fragen? 0800 / 33 82 637

Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

Produktform: Buch / Einband - flex.(Paperback)


Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-031-01423-9 / 978-3031014239 / 9783031014239

Verlag: Springer International Publishing

Erscheinungsdatum: 13.05.2020

Seiten: 65

Auflage: 1

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

26,74 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück