Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Book/E-Doc

Title Formal methods in architecture and urbanism / edited by David Leite Viana, Franklim Morais and Jorge Vieira Vaz.

Publication Info. Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018.

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description 1 online resource (405 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Note Description based on print version record.
Subject Architecture -- Data processing.
Formal methods (Computer science)
Genre/Form Electronic books.
Added Author Viana, David Leite, editor.
Morais, Franklim, editor.
Vaz, Jorge Vieira, editor.
Other Form: Print version: Formal methods in architecture and urbanism. Newcastle upon Tyne, UK : Cambridge Scholars Publishing, 2018 405 pages 9781527507623
ISBN 9781527507623
9781527514577 (e-book)

 
    
Available items only