Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings


Book Informaton

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Author

Marieke Huisman; Corina Păsăreanu; Naijun Zhan

Series

Lecture Notes in Computer Science

Volume

13047

Year of Publication

1st ed. 2021

Publisher

Springer International Publishing

Pages

XVII, 800

Language

EN

ISBN

9783030908690, 9783030908706

ARI Id

1665349342121


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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 60 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xvii
1-1
3-22
23-39
41-41
43-60
61-79
81-81
83-102
103-121
122-141
142-159
161-161
163-181
182-199
200-217
218-234
235-235
237-254
255-272
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 60 entries