Validation and Verification of Automated Systems Results of the ENABLE-S3 Project /

Sonraí bibleagrafaíochta
Údar corparáideach: SpringerLink (Online service)
Rannpháirtithe: Leitner, Andrea (Eagarthóir), Watzenig, Daniel (Eagarthóir), Ibanez-Guzman, Javier (Eagarthóir)
Achoimre:XI, 320 p. 143 illus., 132 illus. in color.
text
Teanga:Béarla
Foilsithe / Cruthaithe: Cham : Springer International Publishing : Imprint: Springer, 2020.
Eagrán:1st ed. 2020.
Ábhair:
Rochtain ar líne:https://doi.org/10.1007/978-3-030-14628-3
Formáid: Leictreonach LEABHAR