Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings


Book Informaton

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Author

Adenilso Simao; Carroll Morgan

Series

Lecture Notes in Computer Science

Volume

7021

Year of Publication

2011

Publisher

Springer Berlin Heidelberg

Pages

X, 205

Language

en

ISBN

9783642250316, 9783642250323

ARI Id

1664952775414


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 15 of 15 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-15
16-27
28-43
44-59
60-75
76-91
92-107
108-123
124-139
140-155
156-171
172-187
188-203
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 15 of 15 entries