Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Dublin Core Títol Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Autor Yamine Ait-Ameur, Shin Nakajima, Dominique Méry Matèria Computer Science Computer Science & Information Technology Editor Springer Nature Data de publicació 2021 Identificador 9789811550546 Font https://doi.org/10.1007/978-981-15-5054-6 Etiquetes Computer Science, Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
