Programming and verifying concurrent systems in COSY

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Shields, Michael William 1950- (VerfasserIn), Lauer, Peter E. (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Newcastle upon Tyne 1980
Schriftenreihe:Computing Laboratory <Newcastle-upon-Tyne>: Technical report series 155
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!