Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers


Book Informaton

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Author

Jim Davies; Leila Silva; Adenilso Simao

Series

Lecture Notes in Computer Science

Volume

6527

Year of Publication

2011

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin, Heidelberg

Pages

VIII, 291

Language

en

ISBN

9783642198281, 9783642198298

ARI Id

1664960807891


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 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 20 of 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-16
17-32
33-48
49-63
64-79
80-95
96-111
112-127
128-143
144-160
161-176
177-193
194-209
210-225
226-241
242-257
258-273
274-290
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries