Bücher nach ISBN
>
Springer
> Oksana Tkachuk
Oksana Tkachuk
O T
·
Osamu Tsukasa
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
978-3-319-4O647-3
(3-319-4O647-7)
2016
Sanjai Rayadurgam
Oktar Turel, Giovanni Arrighi Ibrahim Yýldýz