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

von Marion Kremer

Verlag Dr. Kovac · 1996

Broschiert

ISBN-13: 978-3-86064-469-0

ISBN-10: 3-86064-469-6