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

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi' an, China, November 13-17, 2017, Proceedings


Book Informaton

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi' an, China, November 13-17, 2017, Proceedings

Author

Zhenhua Duan; Luke Ong

Series

Lecture Notes in Computer Science

Volume

10610

Year of Publication

1st ed. 2017

Publisher

Springer International Publishing

Pages

XVII, 498

Language

EN

ISBN

9783319686899, 9783319686905, 3319686895

ARI Id

1665082499329


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 10 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 33 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XVII
1-1
3-15
17-17
19-35
36-53
54-70
71-87
88-104
105-121
122-139
140-156
157-173
174-191
192-208
209-225
226-242
243-261
262-280
281-297
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 33 entries