Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings


Book Informaton

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Author

Mihaela Bobaru; Klaus Havelund; Gerard Holzmann; Rajeev Joshi

Series

Lecture Notes in Computer Science

Volume

6617

Year of Publication

2011

Publisher

Springer Berlin Heidelberg

Pages

XIV, 534

Language

en

ISBN

9783642203978, 9783642203985

ARI Id

1664712599056


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 20 of 45 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-12
13-40
41-55
56-57
58-72
73-88
89-100
101-115
116-130
131-145
146-161
162-176
177-191
192-206
207-221
222-236
237-251
252-266
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 45 entries