Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings

Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings


Book Informaton

Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings

Author

Juliano Iyoda; Leonardo de Moura

Series

Lecture Notes in Computer Science

Volume

8195

Year of Publication

2013

Publisher

Springer Berlin Heidelberg

Pages

X, 243

Language

en

ISBN

9783642410703, 9783642410710, 3642410707

ARI Id

1664703756397


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 18 of 18 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-16
17-17
18-33
34-50
51-66
67-82
83-98
99-114
115-130
131-146
147-162
163-178
179-194
195-210
211-226
227-242
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 18 of 18 entries