Formal Methods in Architecture

Formal Methods in Architecture
Autor
Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz
Matèria
Editor
Springer Nature
Data publicació
2023
Identificador
9789819922178
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-981-99-2217-8