A logical framework for the specification of transactions (extended version)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wichert, Carl-Alexander (VerfasserIn)
Weitere Verfasser:	Fent, Alfred (VerfasserIn), Freitag, Burkhard (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Passau Univ., Fak. für Mathematik und Informatik 2001
Ausgabe:	Extended version
Schriftenreihe:	MIP / Universität Passau Fakultät für Mathematik und Informatik 0102
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Auch im Internet unter der Adresse http://www.fmi.uni-passau.de/forschung/mip-berichte/index.php3.de verfügbar. - Literaturverz. S. 44 - 48
Beschreibung:	62, 3 S Ill. 21 cm