Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))

Technology

von S. J. Goldsack S. J. H. Kent

Taschenbuch

ISBN: 978-3-540-19977-9

ISBN-10: 3-540-19977-2

Springer London · 1996