Parallel program design and generalized weakest preconditions /
Spremljeno u:
OCLC: | 26517752 |
---|---|
Glavni autor: | |
Autor kompanije: | |
Jezik: | English |
Izdano: |
[Groningen] :
Rijksuniversiteit Groningen,
[1991?]
|
Teme: | |
Format: | Disertacija Monograph Note that CRL will digitize material from the collection when copyright allows. |
Opis: | 147 p. : ill. ; 26 cm. |
---|---|
Bibliografija: | Includes bibliographical references and index. |
Mjesto izdanja: | Netherlands. |