Formal Methods in Architecture

Formal Methods in Architecture
Autor
Bruno Marques, Catarina Ruivo, David Leite Viana, Jorge Vieira Vaz
Matèria
Editor
Springer Nature
Data publicació
2025
Identificador
9783032027825
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-032-02782-5