Formal Methods and Object Technology (Advances in Industrial Control)

von: S. J. Goldsack · S. J. Kent

Springer-Verlag GmbH · 1996

Taschenbuch

ISBN: 978-3-540-19977-9

ISBN-10: 3-540-19977-2