Parallel program design and generalized weakest preconditions

Groningen, Rijksuniv., Diss., 1991

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Lukkien, Johan J. (VerfasserIn)
Format: UnknownFormat
Veröffentlicht: 1991
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Groningen, Rijksuniv., Diss., 1991
Beschreibung:147 S
graph. Darst
Stellingen