Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings


Book Informaton

Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Author

Yamine Ait-Ameur; Shengchao Qin

Series

Lecture Notes in Computer Science

Volume

11852

Year of Publication

1st ed. 2019

Publisher

Springer International Publishing

Pages

XXI, 528

Language

en

ISBN

9783030324087, 9783030324094

ARI Id

1665221160234


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 42 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xxi
1-1
3-15
17-17
19-35
36-51
52-68
69-85
86-103
104-120
121-137
138-153
154-169
170-185
186-202
203-218
219-235
236-252
253-269
270-285
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 42 entries