Parallel program design and generalized weakest preconditions /

Sparad:
Bibliografiska uppgifter
OCLC:26517752
Huvudupphovsman: Lukkien, Johan J.
Institutionell upphovsman: Rijksuniversiteit te Groningen
Språk:English
Publicerad: [Groningen] : Rijksuniversiteit Groningen, [1991?]
Ämnen:
Materialtyp:

Lärdomsprov Monograph

Note that CRL will digitize material from the collection when copyright allows.