Formale Programmentwicklung Mit Dynamischer Logik (DUV: Datenverarbeitung)

More Information

Format: Illustrated
Pages: 298
Edition: 1992
Publisher: Deutscher Universitätsverlag
Published: 01 Jan 1992
ISBN 10: 3824420317
ISBN 13: 9783824420315