Formal methods in architecture and urbanism
(eBook)
More Details
Description
Also in this Series
Subjects
Reviews from GoodReads
Citations
Viana, D. L., Morais, F., & Vaz, J. V. (2018). Formal methods in architecture and urbanism . Cambridge Scholars Publishing.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Viana, David Leite, Franklim, Morais and Jorge Vieira, Vaz. 2018. Formal Methods in Architecture and Urbanism. Cambridge Scholars Publishing.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Viana, David Leite, Franklim, Morais and Jorge Vieira, Vaz. Formal Methods in Architecture and Urbanism Cambridge Scholars Publishing, 2018.
MLA Citation, 9th Edition (style guide)Viana, David Leite,, Franklim Morais, and Jorge Vieira Vaz. Formal Methods in Architecture and Urbanism Cambridge Scholars Publishing, 2018.
Staff View
Grouping Information
Grouped Work ID | a1d9d91c-77b8-4045-e339-45018bf2f717-eng |
---|---|
Full title | formal methods in architecture and urbanism |
Author | david leite viana franklim morais and jorge vieira |
Grouping Category | book |
Last Update | 2022-06-07 21:23:19PM |
Last Indexed | 2024-05-11 04:54:06AM |
Book Cover Information
Image Source | syndetics |
---|---|
First Loaded | Nov 27, 2023 |
Last Used | Nov 27, 2023 |
Marc Record
First Detected | Aug 09, 2021 02:11:59 PM |
---|---|
Last File Modification Time | Nov 22, 2021 10:22:39 AM |
MARC Record
LEADER | 01951nam a2200433 i 4500 | ||
---|---|---|---|
001 | EBC5477620 | ||
003 | MiAaPQ | ||
005 | 20200520144314.0 | ||
006 | m E | | ||
007 | cr cnu|||||||| | ||
008 | 180905s2018 enk o 000 0 eng d | ||
020 | |z 9781527507623 | ||
020 | |a 9781527514577 (e-book) | ||
035 | |a (Sirsi) EBC5477620 | ||
035 | |a (MiAaPQ)EBC5477620 | ||
035 | |a (Au-PeEL)EBL5477620 | ||
035 | |a (OCoLC)1046634263 | ||
040 | |a MiAaPQ|b eng|c MiAaPQ|d MiAaPQ|e rda|e pn | ||
050 | 4 | |a NA2728|b .F676 2018 | |
082 | 0 | |a 720.28402855369|2 23 | |
245 | 0 | 0 | |a Formal methods in architecture and urbanism|h [eBook] /|c edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz. |
264 | 1 | |a Newcastle upon Tyne, UK :|b Cambridge Scholars Publishing,|c 2018. | |
300 | |a 1 online resource (405 pages) | ||
336 | |a text|b txt|2 rdacontent | ||
337 | |a computer|b c|2 rdamedia | ||
338 | |a online resource|b cr|2 rdacarrier | ||
588 | |a Description based on print version record. | ||
650 | 0 | |a Architecture|x Data processing. | |
650 | 0 | |a Formal methods (Computer science) | |
655 | 4 | |a Electronic books. | |
700 | 1 | |a Viana, David Leite,|e editor. | |
700 | 1 | |a Morais, Franklim,|e editor. | |
700 | 1 | |a Vaz, Jorge Vieira,|e editor. | |
776 | 0 | 8 | |i Print version:|t Formal methods in architecture and urbanism.|d Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 |h 405 pages |z 9781527507623 |
797 | 2 | |a ProQuest (Firm) | |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=5477620|x Yavapai College|y Yavapai College users click here to access |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=5477620|x Prescott College|y Prescott College users click here to access |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=5477620|x Yavapai Library Network|y All other users click here to access |
945 | |a E-Book |