Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Conference Brazilian Symposium on Formal Methods (14th : 2011 : Sâo Paulo, Brazil)
Author Simao, Adenilso.
Title Formal methods, foundations and applications : 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers / Adenilso Simao, Carroll Morgan (eds.).
Alternative Title SBMF 2011
Publication Info Heidelberg : Springer, [2011]



Descript x, 203 pages : illustrations ; 24 cm.
ISBN 9783642250316 (soft cover : alk. paper)
3642250319 (soft cover : alk. paper)
Click on the terms below to find similar items in the catalogue
Conference Brazilian Symposium on Formal Methods (14th : 2011 : Sâo Paulo, Brazil)
Author Simao, Adenilso.
Series Lecture notes in computer science ; 7021
Subject Computer science.
Software engineering.
Logic design.
Information Systems.
Alt author Morgan, Carroll.
Alternative Title SBMF 2011
Descript x, 203 pages : illustrations ; 24 cm.
ISBN 9783642250316 (soft cover : alk. paper)
3642250319 (soft cover : alk. paper)
Conference Brazilian Symposium on Formal Methods (14th : 2011 : Sâo Paulo, Brazil)
Author Simao, Adenilso.
Series Lecture notes in computer science ; 7021
Subject Computer science.
Software engineering.
Logic design.
Information Systems.
Alt author Morgan, Carroll.
Alternative Title SBMF 2011

Subject Computer science.
Software engineering.
Logic design.
Information Systems.
Descript x, 203 pages : illustrations ; 24 cm.
Alt author Morgan, Carroll.
ISBN 9783642250316 (soft cover : alk. paper)
3642250319 (soft cover : alk. paper)

Links and services for this item: