Bücher nach ISBN
>
Springer
> Nadia Polikarpova
Nadia Polikarpova
N.P.
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
978-3-319-66844-4
(3-319-66844-7)
2017
Steve Schneider
Nadia Porcar