Tell your friends about this item:
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings - Lecture Notes in Computer Science 1st ed. 2018 edition
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings - Lecture Notes in Computer Science
540 pages, 103 Illustrations, black and white; XVIII, 540 p. 103 illus.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | January 10, 2018 |
| ISBN13 | 9783319737201 |
| Publishers | Springer International Publishing AG |
| Pages | 540 |
| Dimensions | 243 × 250 × 35 mm · 872 g |
| Language | German |
| Editor | Dillig, Isil |
| Editor | Palsberg, Jens |