Bücher nach ISBN
>
Springer
> Jaco Geldenhuys
Jaco Geldenhuys
J. G.
·
J. Geldenhuys
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
978-3-319-234O3-8
(3-319-234O3-X)
2015
Bernd Fischer
Jaco Gericke