Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen

von Peter Herrmann

Taschenbuch

ISBN: 978-3-8244-2101-5

ISBN-10: 3-8244-2101-1

Deutscher Universitäts-Verlag · 1998