Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings


Book Informaton

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Author

Kazuhiro Ogata; Mark Lawford; Shaoying Liu

Series

Lecture Notes in Computer Science

Volume

10009

Year of Publication

1st ed. 2016

Publisher

Springer International Publishing

Pages

XVII, 486

Language

EN

ISBN

9783319478456, 9783319478463, 3319478451

ARI Id

1664896429687


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 32 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XVII
1-17
18-25
26-40
41-56
57-73
74-89
90-105
106-121
122-140
141-158
159-174
175-192
193-209
210-225
226-242
243-260
261-278
279-295
296-312
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 32 entries