Cargando…

Formal methods in architecture and urbanism /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Viana, David Leite (Editor ), Morais, Franklim (Editor ), Vaz, Jorge Vieira (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000nam a2200000 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://elibro.uam.elogim.com/ereader/bidiuam/152091  |z Texto completo