Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings


Book Informaton

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Author

Michael Butler; Sylvain Conchon; Fatiha Zaïdi

Series

Lecture Notes in Computer Science

Volume

9407

Year of Publication

1st ed. 2015

Publisher

Springer International Publishing

Pages

XXV, 436

Language

en

ISBN

9783319254227, 9783319254234

ARI Id

1664701983920


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 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 29 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XXV
1-16
17-32
33-49
50-66
67-83
84-99
100-115
116-133
134-152
153-169
170-186
187-200
201-216
217-233
234-251
252-269
270-286
287-303
304-311
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 29 entries