Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles Dublin Core Títol Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles Autor Tiziana Margaria, Bernhard Steffen Matèria Computer Science Computer Science & Information Technology Editor Springer Nature Data de publicació 2022 Identificador 9783031198496 Font https://doi.org/10.1007/978-3-031-19849-6 Etiquetes Computer Science, Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
