Extension of Prosoft in order to integrate correct software tools obtained from algebraic specifications

Bibliographische Detailangaben

1. Verfasser:	Ribeiro, Leila (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Berlin 1992
Schriftenreihe:	Bericht / Technische Universität Berlin, Fachbereich 20, Informatik 92,22
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!