| LEADER |
01635nam a2200373 i 4500 |
| 001 |
ELB152091 |
| 003 |
FINmELB |
| 005 |
20220420100821.0 |
| 006 |
m o d | |
| 007 |
cr cnu|||||||| |
| 008 |
180905s2018 enk o 000 0 eng d |
| 020 |
|
|
|z 9781527507623
|
| 020 |
|
|
|a 9781527514577 (e-book)
|
| 035 |
|
|
|a (OCoLC)1046634263
|
| 040 |
|
|
|a FINmELB
|b eng
|e rda
|c FINmELB
|
| 050 |
|
4 |
|a NA2728
|b .F676 2018
|
| 082 |
0 |
|
|a 720.28402855369
|2 23
|
| 245 |
0 |
0 |
|a Formal methods in architecture and urbanism /
|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 metadata supplied by the publisher and other sources.
|
| 590 |
|
|
|a Electronic reproduction. Santa Fe, Arg.: elibro, 2022. Available via World Wide Web. Access may be limited to eLibro affiliated libraries.
|
| 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 elibro, Corp.
|
| 856 |
4 |
0 |
|u https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=152091
|