Formal Methods in Architecture
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , |
| Formato: | eBook |
| Lenguaje: | inglés |
| Publicado: |
Springer Nature,
2025.
|
| Materias: | |
| Acceso en línea: | Access eBook |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 25031 | ||
| 005 | 20261004183159.0 | ||
| 008 | 261004s2025 o 000 eng | ||
| 020 | |a 978-3-032-02782-5 | ||
| 100 | 1 | |a Marques, Bruno |9 52354 | |
| 700 | 1 | |a Ruivo, Catarina |9 52355 | |
| 700 | 1 | |a Viana, David Leite |9 48811 | |
| 700 | 1 | |a Vaz, Jorge Vieira |9 48813 | |
| 245 | 0 | 0 | |a Formal Methods in Architecture |
| 260 | |b Springer Nature, |c 2025. | ||
| 300 | |a 1 online resource | ||
| 650 | 4 | |a Engineering | |
| 538 | |a Mode of access: World Wide Web. | ||
| 856 | 4 | 0 | |u https://library.mist.ac.bd/ebooks/11302/go?src=vufind |z Access eBook |
| 942 | |c EBOOK | ||
| 999 | |c 25031 |d 25031 | ||