1.

Record Nr.

UNICAMPANIAVAN00240459

Titolo

Formal Methods in Architecture : Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 / editors Sara Eloy ... [et al.]

Pubbl/distr/stampa

Cham, : Springer, 2021

Descrizione fisica

XXXII, 313 p. : ill. ; 24 cm

Disciplina

711

712

624

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia