Formale Programmentwicklung mit dynamischer Logik

Main Author: Heisel, Maritta
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:German
Published: Wiesbaden Deutscher Universitätsverlag 1992, 1992
Edition:1st ed. 1992
Series:DUV: Datenverarbeitung
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Physical Description:IX, 288 S. online resource
ISBN:9783663146216