Formale Programmentwicklung Mit Dynamischer Logik (DUV: Datenverarbeitung)

Datenverarbeitung

von Maritta Heisel

Broschiert

ISBN: 978-3-8244-2031-5

ISBN-10: 3-8244-2031-7

Deutscher Universitätsverlag · 1992