Bücher nach ISBN
>
Springer
> Tarlecki Andrzej
Tarlecki Andrzej
Andrzej Tarlecki
·
T.A.
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
FM 2005 -Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
978-3-54O-27882-5
(3-54O-27882-6)
2005
John Fitzgerald · Ian J. Hayes
Tarmo Annilo