Formal methods, foundations and applications : 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers /

Bibliographic Details
Corporate Author:	Brazilian Symposium on Formal Methods Sâo Paulo, Brazil
Other Authors:	Morgan, Carroll, 1952-, Simão, Adenilso
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2011]
Series:	LNCS sublibrary. Programming and software engineering. Lecture notes in computer science ; 7021.
Subjects:	Formal methods (Computer science) > Congresses. Computer science Information Systems Logic design Logics and Meanings of Programs Management of Computing and Information Systems Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques Software engineering Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online