Formal methods in architecture and urbanism
(eBook)
Contributors
Published
Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018.
Physical Desc
1 online resource (405 pages)
Status
More Details
Format
eBook
Language
English
ISBN
9781527514577 (e-book)
Description
Loading Description...
Also in this Series
Checking series information...
Subjects
Other Subjects
Reviews from GoodReads
Loading GoodReads Reviews.
Citations
APA Citation, 7th Edition (style guide)
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.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
a1d9d91c-77b8-4045-e339-45018bf2f717-eng
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-04-24 04:30:54AM |
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 |