| dc.date.accessioned | 2013-03-12T08:15:02Z | |
| dc.date.available | 2013-03-12T08:15:02Z | |
| dc.date.issued | 1994 | en_US |
| dc.date.submitted | 2002-10-01 | en_US |
| dc.identifier.citation | Asheim, Kari. Bevissystemer for prosesser med felles variable. Hovedoppgave, University of Oslo, 1994 | en_US |
| dc.identifier.uri | http://hdl.handle.net/10852/8760 | |
| dc.language.iso | nob | en_US |
| dc.subject | bevisføring databehandling parallellprogrammering programbevis | en_US |
| dc.title | Bevissystemer for prosesser med felles variable | en_US |
| dc.type | Master thesis | en_US |
| dc.date.updated | 2003-08-11 | en_US |
| dc.creator.author | Asheim, Kari | en_US |
| dc.subject.nsi | VDP::420 | en_US |
| dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft.au=Asheim, Kari&rft.title=Bevissystemer for prosesser med felles variable&rft.inst=University of Oslo&rft.date=1994&rft.degree=Hovedoppgave | en_US |
| dc.identifier.urn | URN:NBN:no-1313 | en_US |
| dc.type.document | Hovedoppgave | en_US |
| dc.identifier.duo | 1044 | en_US |
| dc.identifier.bibsys | 011905662 | en_US |
| dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/8760/1/KAsheim.pdf | |