Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
We couldn't estimate the reading time for this book.
Publication
2021 - Springer International Publishing AG
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783030873479
- ISBN-103030873471
- Better World Books9783030873479
- Open LibraryOL35879123M
Classifications
- LCCQA75.5-76.95
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!