Parallel program design and generalized weakest preconditions
By: Johannes Jan Lukkien
Contributors: Rijksuniversiteit te Groningen
Publisher: Rijksuniversiteit Groningen
Published: 1991
Place of publication: Groningen]
Language: eng
Number of pages: 147
Subjects: Parallel programming (Computer science)
Notes: Thesis (doctoral)--Rijksuniversiteit te Groningen, 1991.

Includes bibliographical references and index.