Mora, Plácido Lizancos (Hrsg.)
Viana, David Leite (Hrsg.)
Morais, Franklim (Hrsg.)
Vieira Vaz, Jorge (Hrsg.)
Formal Methods in Architecture
Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
Beschreibung
Produktdetails
| ISBN/GTIN | 978-981-99-2217-8 |
|---|---|
| Seitenzahl | 515 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 22476 Kbytes |