Bücher nach ISBN
>
Springer
> K. Narayan Kumar
K. Narayan Kumar
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
978-3-319-68166-5
(3-319-68166-4)
2017
Deepak D'Souza
K.k.
·
K. Kumar
·
K Narayan
·
N K
·
N. Kumar
K. Narayanan