Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings


Book Informaton

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Author

Constantin Enea; Ruzica Piskac

Series

Lecture Notes in Computer Science

Volume

11388

Year of Publication

1st ed. 2019

Publisher

Springer International Publishing

Pages

XVII, 602

Language

en

ISBN

9783030112448, 9783030112455, 3030112446

ARI Id

1665164713554


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 29 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XVII
1-23
24-47
48-69
70-91
92-113
114-135
136-159
160-182
183-204
205-225
226-246
247-274
275-296
297-317
318-341
342-362
363-385
386-408
409-424
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 29 entries