Cover von Formal Methods opens in new tab

Formal Methods

Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 : Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8195
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 8195 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

Brazilian Symposium on Formal Methods <16, 2013, Brasilia>

Details

Search for this author
Year: 2013
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-41070-3
ISBN (2nd): 3-642-41070-7
Description: X, 242 S.
Series: Lecture notes in computer science; 8195
Participating parties: Search for this character Iyoda, Juliano; Moura, Leonardo de
Media group: MONOGRAPHIE