Verification and specification of concurrent programs

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hooman, Jozef J. M. (VerfasserIn)
Weitere Verfasser:	Roever, Willem-Paul de (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Kiel 1991
Schriftenreihe:	Institut für Informatik und Praktische Mathematik <Kiel>: Bericht 9111
Schlagworte:	Programmverifikation > Softwarespezifikation > Programmierung > Nebenläufigkeit
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	79 S.