Challenges of Software Verification
1st ed. 2023. - Singapore: Springer Nature Singapore, Imprint: Springer, 2023
Online
Sammelwerk, Elektronische Ressource
- 1 Online-Ressource (XV, 264 p. 80 illus., 59 illus. in color)
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Challenges of Software Verification
|
---|---|
Verantwortlichkeitsangabe: | edited by Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro |
Autor/in / Beteiligte Person: | Arceri, Vincenzo ; Cortesi, Agostino ; Ferrara, Pietro ; Olliaro, Martina |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Ausgabe: | 1st ed. 2023 |
Veröffentlichung: | Singapore: Springer Nature Singapore, Imprint: Springer, 2023 |
Medientyp: | Sammelwerk |
Datenträgertyp: | Elektronische Ressource |
Umfang: | 1 Online-Ressource (XV, 264 p. 80 illus., 59 illus. in color) |
ISBN: | 9789811996016 |
DOI: | 10.1007/978-981-19-9601-6 |
Schlagwort: |
|
Sonstiges: |
|