Holdings: Formal methods in architecture

Formal methods in architecture: proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020

Saved in:

Bibliographic Details
Corporate Author:	International Symposium on Formal Methods in Architecture Lissabon (Author)
Other Authors:	Eloy, Sara (Editor), Viana, David Leite (Editor), Morais, Franklim (Editor), Vaz, Jorge Vieira (Editor)
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Cham, Switzerland Springer [2021]
Series:	Advances in science, technology & innovation
Subjects:	Architecture, general Landscape/Regional and Urban Planning Civil Engineering Computer Science, general Mathematics, general Architecture Regional planning Urban planning Civil engineering Computer science Mathematics Konferenzschrift > 2020 > Lissabon
Online Access:	BTU01 FAW01 FFW01 FHD01 FHM01 TUM01 UBA01 UBG01 UBM01 UBT01 UBW01 UEI01 UPA01 Volltext
Physical Description:	1 Online-Ressource (xxxii, 313 Seiten) Illustrationen
ISBN:	9783030575090
DOI:	10.1007/978-3-030-57509-0

Staff View

MARC


LEADER	00000nmm a2200000 c 4500
001	BV047135893
003	DE-604
005	20221024
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	210211s2021 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783030575090 \|c Online \|9 978-3-030-57509-0
024	7		\|a 10.1007/978-3-030-57509-0 \|2 doi
035			\|a (ZDB-2-EES)9783030575090
035			\|a (OCoLC)1237589220
035			\|a (DE-599)BVBBV047135893
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-91 \|a DE-19 \|a DE-1028 \|a DE-1046 \|a DE-384 \|a DE-M347 \|a DE-188 \|a DE-703 \|a DE-473 \|a DE-1050 \|a DE-20 \|a DE-739 \|a DE-634 \|a DE-824
082	0		\|a 720 \|2 23
084			\|a GEO 000 \|2 stub
084			\|a UMW 000 \|2 stub
111	2		\|a International Symposium on Formal Methods in Architecture \|n 5. \|d 2020 \|c Lissabon \|j Verfasser \|0 (DE-588)1271050986 \|4 aut
245	1	0	\|a Formal methods in architecture \|b proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 \|c Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora
264		1	\|a Cham, Switzerland \|b Springer \|c [2021]
264		4	\|c © 2021
300			\|a 1 Online-Ressource (xxxii, 313 Seiten) \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Advances in science, technology & innovation
650		4	\|a Architecture, general
650		4	\|a Landscape/Regional and Urban Planning
650		4	\|a Civil Engineering
650		4	\|a Computer Science, general
650		4	\|a Mathematics, general
650		4	\|a Architecture
650		4	\|a Regional planning
650		4	\|a Urban planning
650		4	\|a Civil engineering
650		4	\|a Computer science
650		4	\|a Mathematics
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2020 \|z Lissabon \|2 gnd-content
700	1		\|a Eloy, Sara \|4 edt
700	1		\|a Viana, David Leite \|0 (DE-588)1157017576 \|4 edt
700	1		\|a Morais, Franklim \|0 (DE-588)1157017606 \|4 edt
700	1		\|a Vaz, Jorge Vieira \|0 (DE-588)1157017649 \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-57508-3
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-57510-6
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-57511-3
856	4	0	\|u https://doi.org/10.1007/978-3-030-57509-0 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-EES
940	1		\|q ZDB-2-EES_2021
999			\|a oai:aleph.bib-bvb.de:BVB01-032541924
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l BTU01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l FAW01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l FFW01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l FHD01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l FHM01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l TUM01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l UBA01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l UBG01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l UBM01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l UBT01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l UBW01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l UEI01 \|p ZDB-2-EES \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-57509-0 \|l UPA01 \|p ZDB-2-EES \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1804182191864807424
adam_txt
any_adam_object
any_adam_object_boolean
author2	Eloy, Sara Viana, David Leite Morais, Franklim Vaz, Jorge Vieira
author2_role	edt edt edt edt
author2_variant	s e se d l v dl dlv f m fm j v v jv jvv
author_GND	(DE-588)1157017576 (DE-588)1157017606 (DE-588)1157017649
author_corporate	International Symposium on Formal Methods in Architecture Lissabon
author_corporate_role	aut
author_facet	Eloy, Sara Viana, David Leite Morais, Franklim Vaz, Jorge Vieira International Symposium on Formal Methods in Architecture Lissabon
author_sort	International Symposium on Formal Methods in Architecture Lissabon
building	Verbundindex
bvnumber	BV047135893
classification_tum	GEO 000 UMW 000
collection	ZDB-2-EES
ctrlnum	(ZDB-2-EES)9783030575090 (OCoLC)1237589220 (DE-599)BVBBV047135893
dewey-full	720
dewey-hundreds	700 - The arts
dewey-ones	720 - Architecture
dewey-raw	720
dewey-search	720
dewey-sort	3720
dewey-tens	720 - Architecture
discipline	Geowissenschaften Architektur Umwelt
discipline_str_mv	Geowissenschaften Architektur Umwelt
doi_str_mv	10.1007/978-3-030-57509-0
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03675nmm a2200769 c 4500</leader><controlfield tag="001">BV047135893</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221024 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">210211s2021 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030575090</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-57509-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-57509-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-EES)9783030575090</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1237589220</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047135893</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-824</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">720</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">GEO 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">UMW 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Symposium on Formal Methods in Architecture</subfield><subfield code="n">5.</subfield><subfield code="d">2020</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1271050986</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods in architecture</subfield><subfield code="b">proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020</subfield><subfield code="c">Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxxii, 313 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Advances in science, technology & innovation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Architecture, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Landscape/Regional and Urban Planning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Civil Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Architecture</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Regional planning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Urban planning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Civil engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2020</subfield><subfield code="z">Lissabon</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eloy, Sara</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Viana, David Leite</subfield><subfield code="0">(DE-588)1157017576</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morais, Franklim</subfield><subfield code="0">(DE-588)1157017606</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vaz, Jorge Vieira</subfield><subfield code="0">(DE-588)1157017649</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-57508-3</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-57510-6</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-57511-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-EES</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-EES_2021</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032541924</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">FFW01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-57509-0</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-EES</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2020 Lissabon gnd-content
genre_facet	Konferenzschrift 2020 Lissabon
id	DE-604.BV047135893
illustrated	Not Illustrated
index_date	2024-07-03T16:33:58Z
indexdate	2024-07-10T09:03:38Z
institution	BVB
institution_GND	(DE-588)1271050986
isbn	9783030575090
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032541924
oclc_num	1237589220
open_access_boolean
owner	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1028 DE-1046 DE-384 DE-M347 DE-188 DE-703 DE-473 DE-BY-UBG DE-1050 DE-20 DE-739 DE-634 DE-824
owner_facet	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1028 DE-1046 DE-384 DE-M347 DE-188 DE-703 DE-473 DE-BY-UBG DE-1050 DE-20 DE-739 DE-634 DE-824
physical	1 Online-Ressource (xxxii, 313 Seiten) Illustrationen
psigel	ZDB-2-EES ZDB-2-EES_2021
publishDate	2021
publishDateSearch	2021
publishDateSort	2021
publisher	Springer
record_format	marc
series2	Advances in science, technology & innovation
spelling	International Symposium on Formal Methods in Architecture 5. 2020 Lissabon Verfasser (DE-588)1271050986 aut Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora Cham, Switzerland Springer [2021] © 2021 1 Online-Ressource (xxxii, 313 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Advances in science, technology & innovation Architecture, general Landscape/Regional and Urban Planning Civil Engineering Computer Science, general Mathematics, general Architecture Regional planning Urban planning Civil engineering Computer science Mathematics (DE-588)1071861417 Konferenzschrift 2020 Lissabon gnd-content Eloy, Sara edt Viana, David Leite (DE-588)1157017576 edt Morais, Franklim (DE-588)1157017606 edt Vaz, Jorge Vieira (DE-588)1157017649 edt Erscheint auch als Druck-Ausgabe 978-3-030-57508-3 Erscheint auch als Druck-Ausgabe 978-3-030-57510-6 Erscheint auch als Druck-Ausgabe 978-3-030-57511-3 https://doi.org/10.1007/978-3-030-57509-0 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 Architecture, general Landscape/Regional and Urban Planning Civil Engineering Computer Science, general Mathematics, general Architecture Regional planning Urban planning Civil engineering Computer science Mathematics
subject_GND	(DE-588)1071861417
title	Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020
title_auth	Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020
title_exact_search	Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020
title_exact_search_txtP	Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020
title_full	Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora
title_fullStr	Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora
title_full_unstemmed	Formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020 Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, editora
title_short	Formal methods in architecture
title_sort	formal methods in architecture proceedings of the 5th international symposium on formal methods in architecture 5fma lisbon 2020
title_sub	proceedings of the 5th international symposium on formal methods in architecture (5FMA), Lisbon 2020
topic	Architecture, general Landscape/Regional and Urban Planning Civil Engineering Computer Science, general Mathematics, general Architecture Regional planning Urban planning Civil engineering Computer science Mathematics
topic_facet	Architecture, general Landscape/Regional and Urban Planning Civil Engineering Computer Science, general Mathematics, general Architecture Regional planning Urban planning Civil engineering Computer science Mathematics Konferenzschrift 2020 Lissabon
url	https://doi.org/10.1007/978-3-030-57509-0
work_keys_str_mv	AT internationalsymposiumonformalmethodsinarchitecturelissabon formalmethodsinarchitectureproceedingsofthe5thinternationalsymposiumonformalmethodsinarchitecture5fmalisbon2020 AT eloysara formalmethodsinarchitectureproceedingsofthe5thinternationalsymposiumonformalmethodsinarchitecture5fmalisbon2020 AT vianadavidleite formalmethodsinarchitectureproceedingsofthe5thinternationalsymposiumonformalmethodsinarchitecture5fmalisbon2020 AT moraisfranklim formalmethodsinarchitectureproceedingsofthe5thinternationalsymposiumonformalmethodsinarchitecture5fmalisbon2020 AT vazjorgevieira formalmethodsinarchitectureproceedingsofthe5thinternationalsymposiumonformalmethodsinarchitecture5fmalisbon2020

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items