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

dc.contributor.author	Viana David Leite
dc.contributor.author	Morais Franklim
dc.contributor.author	Vaz Jorge Vieira
dc.date.accessioned	2024-01-29T21:33:59Z
dc.date.available	2024-01-29T21:33:59Z
dc.date.issued	2018
dc.identifier.citation	Formal methods in architecture and urbanism - 1 online resource (viii, 397 pages) : - URL: https://libweb.kpfu.ru/ebsco/pdf/1856826.pdf
dc.identifier.isbn	9781527514577
dc.identifier.isbn	1527514579
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/179593
dc.description	Includes bibliographical references.
dc.language	English
dc.language.iso	en
dc.subject.other	Architecture -- Data processing.
dc.subject.other	Formal methods (Computer science)
dc.subject.other	Architecture -- Data processing.
dc.subject.other	Formal methods (Computer science)
dc.subject.other	ARCHITECTURE / Adaptive Reuse & Renovation
dc.subject.other	ARCHITECTURE / Buildings / Landmarks & Monuments
dc.subject.other	ARCHITECTURE / Professional Practice
dc.subject.other	ARCHITECTURE / Reference
dc.subject.other	Electronic books.
dc.title	Formal methods in architecture and urbanism/ edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.
dc.type	Book
dc.description.pages	1 online resource (viii, 397 pages) :
dc.collection	Электронно-библиотечные системы
dc.source.id	EN05CEBSCO05C968