Don't write more axioms than you have to a methodology for the complete and correct specification of abstract data types; with examples

Bibliographische Detailangaben

Hauptverfasser:	Veloso, Paulo A. (VerfasserIn), Pequeno, Tarcísio H. (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Rio de Janeiro, Brasil Pontif. Univ. Católica do Rio de Janeiro 1979
Schriftenreihe:	Monografias em Ciência da Computação 1979,10
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!