Formal methods in architecture and urbanism /

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

Saved in:
Bibliographic Details
TeilnehmendeR:
Viana, David Leite,
Morais, Franklim,
Vaz, Jorge Vieira,
Place / Publishing House:Newcastle upon Tyne, UK : : Cambridge Scholars Publishing,, 2018.
Year of Publication:2018
Language:English
Online Access:
Physical Description:1 online resource (405 pages)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5005477620
ctrlnum (MiAaPQ)5005477620
(Au-PeEL)EBL5477620
(OCoLC)1046634263
collection bib_alma
record_format marc
spelling Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.
Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018.
1 online resource (405 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Architecture Data processing.
Formal methods (Computer science)
Electronic books.
Viana, David Leite, editor.
Morais, Franklim, editor.
Vaz, Jorge Vieira, editor.
Print version: Formal methods in architecture and urbanism. Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 405 pages 9781527507623
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5477620 Click to View
language English
format eBook
author2 Viana, David Leite,
Morais, Franklim,
Vaz, Jorge Vieira,
author_facet Viana, David Leite,
Morais, Franklim,
Vaz, Jorge Vieira,
author2_variant d l v dl dlv
f m fm
j v v jv jvv
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
title Formal methods in architecture and urbanism /
spellingShingle Formal methods in architecture and urbanism /
title_full Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.
title_fullStr Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.
title_full_unstemmed Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.
title_auth Formal methods in architecture and urbanism /
title_new Formal methods in architecture and urbanism /
title_sort formal methods in architecture and urbanism /
publisher Cambridge Scholars Publishing,
publishDate 2018
physical 1 online resource (405 pages)
isbn 9781527514577 (e-book)
9781527507623
callnumber-first N - Fine Arts
callnumber-subject NA - Architecture
callnumber-label NA2728
callnumber-sort NA 42728 F676 42018
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5477620
illustrated Not Illustrated
dewey-hundreds 700 - Arts & recreation
dewey-tens 720 - Architecture
dewey-ones 720 - Architecture
dewey-full 720.28402855369
dewey-sort 3720.28402855369
dewey-raw 720.28402855369
dewey-search 720.28402855369
oclc_num 1046634263
work_keys_str_mv AT vianadavidleite formalmethodsinarchitectureandurbanism
AT moraisfranklim formalmethodsinarchitectureandurbanism
AT vazjorgevieira formalmethodsinarchitectureandurbanism
status_str n
ids_txt_mv (MiAaPQ)5005477620
(Au-PeEL)EBL5477620
(OCoLC)1046634263
carrierType_str_mv cr
is_hierarchy_title Formal methods in architecture and urbanism /
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
_version_ 1792330991663054849
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01672nam a2200397 i 4500</leader><controlfield tag="001">5005477620</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">180905s2018 enk o 000 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781527507623</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781527514577 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5005477620</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL5477620</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1046634263</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">NA2728</subfield><subfield code="b">.F676 2018</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">720.28402855369</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Formal methods in architecture and urbanism /</subfield><subfield code="c">edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Newcastle upon Tyne, UK :</subfield><subfield code="b">Cambridge Scholars Publishing,</subfield><subfield code="c">2018.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (405 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Architecture</subfield><subfield code="x">Data processing.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Viana, David Leite,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morais, Franklim,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vaz, Jorge Vieira,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Formal methods in architecture and urbanism.</subfield><subfield code="d">Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 </subfield><subfield code="h">405 pages </subfield><subfield code="z">9781527507623</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5477620</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items