Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen .

von Marion Kremer Broschiert Details (Deutschland) ISBN-13: 978-3-86064-469-0 ISBN-10: 3-86064-469-6 Verlag Dr. Kovac · 1996