Bücher nach ISBN
>
Springer
> ZAVE OLIVERIA
ZAVE OLIVERIA
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
978-3-54O-41791-O
(3-54O-41791-5)
2001
Zavyazkin O