Tell your friends about this item:
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday - Lecture Notes in Computer Science 1st ed. 2021 edition
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday - Lecture Notes in Computer Science
His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards.
193 pages, 40 Illustrations, black and white; XII, 193 p. 40 illus.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 28, 2021 |
| ISBN13 | 9783030873479 |
| Publishers | Springer Nature Switzerland AG |
| Pages | 193 |
| Dimensions | 150 × 220 × 10 mm · 326 g |
| Language | German |
| Editor | Bartocci, Ezio |
| Editor | Falcone, Ylies |
| Editor | Leucker, Martin |