Formal methods in architecture and urbanism
(eBook)

Book Cover
Average Rating
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...

More Like This

Loading more titles like this title...

Reading Recommendations & More

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
Go To Grouped Work

Grouping Information

Grouped Work IDa1d9d91c-77b8-4045-e339-45018bf2f717-eng
Full titleformal methods in architecture and urbanism
Authordavid leite viana franklim morais and jorge vieira
Grouping Categorybook
Last Update2022-06-07 21:23:19PM
Last Indexed2024-04-24 04:30:54AM

Book Cover Information

Image Sourcesyndetics
First LoadedNov 27, 2023
Last UsedNov 27, 2023

Marc Record

First DetectedAug 09, 2021 02:11:59 PM
Last File Modification TimeNov 22, 2021 10:22:39 AM

MARC Record

LEADER01951nam a2200433 i 4500
001EBC5477620
003MiAaPQ
00520200520144314.0
006m    E |      
007cr cnu||||||||
008180905s2018    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
0820 |a 720.28402855369|2 23
24500|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.
7001 |a Viana, David Leite,|e editor.
7001 |a Morais, Franklim,|e editor.
7001 |a Vaz, Jorge Vieira,|e editor.
77608|i Print version:|t Formal methods in architecture and urbanism.|d Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 |h 405 pages |z 9781527507623
7972 |a ProQuest (Firm)
85640|u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=5477620|x Yavapai College|y Yavapai College users click here to access
85640|u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=5477620|x Prescott College|y Prescott College users click here to access
85640|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