Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings


Book Informaton

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Author

Jin Song Dong; Huibiao Zhu

Series

Lecture Notes in Computer Science

Volume

6447

Year of Publication

2010

Publisher

Springer Berlin Heidelberg

Pages

XIV, 712

Language

en

ISBN

9783642169007, 9783642169014

ARI Id

1664720605147


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 47 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-20
21-21
22-23
24-39
40-55
56-73
74-89
90-105
106-121
122-137
138-154
155-170
171-187
188-203
204-219
220-236
237-252
253-269
270-286
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 47 entries