The Practice of Formal Methods Dublin Core Títol The Practice of Formal Methods Autor Ana Cavalcanti, James Baxter Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2024 Identificador 9783031666735 Font https://doi.org/10.1007/978-3-031-66673-5 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
