Formal Methods and Software Engineering Dublin Core Títol Formal Methods and Software Engineering Autor Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2024 Identificador 9789819606177 Font https://doi.org/10.1007/978-981-96-0617-7 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →