Some examples of algebraic specifications and implementations 4 Parameterized specifications of strings, binary trees and 2x2-Matrices with corretness proofs

Bibliographische Detailangaben

1. Verfasser:	Ehrig, H. (VerfasserIn)
Weitere Verfasser:	Fey, W. (VerfasserIn), Kreowski, H.-J. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin 1982
Schriftenreihe:	Bericht / Technische Universität Berlin, Fachbereich 20 Zwanzig, Informatik 82-02
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!