Bücher nach ISBN
>
Springer
> Anthony Narkawicz
Anthony Narkawicz
A N
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
978-3-319-77934-8
(3-319-77934-6)
2018
Aaron Dutle · César Muñoz
Anthony Nash