Parallel program design and generalized weakest preconditions /

में बचाया:
ग्रंथसूची विवरण
OCLC:26517752
मुख्य लेखक: Lukkien, Johan J.
निगमित लेखक: Rijksuniversiteit te Groningen
भाषा:English
प्रकाशित: [Groningen] : Rijksuniversiteit Groningen, [1991?]
विषय:
स्वरूप:

थीसिस Monograph

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