Record Nr.

UNINA9910812082603321

Titolo

Formal methods in architecture and urbanism / / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz

Pubbl/distr/stampa


Newcastle upon Tyne, UK : , : Cambridge Scholars Publishing, , 2018

ISBN

1-5275-1457-9

Descrizione fisica

1 online resource (405 pages)

Disciplina

720.28402855369

Soggetti

Architecture - Data processing

Formal methods (Computer science)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia