Iteratively defined transfinite trace semantics and program slicing with respect to them

Simple item page
dc.contributorTartu Ülikool. Matemaatika-informaatikateaduskondet
dc.contributor.advisorVene, Varmo, juhendajaet
dc.contributor.authorNestra, Härmelet
dc.date.accessioned2007-01-09T06:49:30Z
dc.date.available2007-01-09T06:49:30Z
dc.date.issued2006et
dc.identifier.isbn9949114365et
dc.identifier.otherTartu Ester bibnumber: b18400097et
dc.identifier.urihttp://hdl.handle.net/10062/1109
dc.languageinglise keeleset
dc.language.isoenget
dc.subject.otherarvutiteaduset
dc.subject.otherprogrammeerimiskeeledet
dc.subject.othersemantikaet
dc.subject.otherprogrammeerimistehnikadet
dc.subject.otherdissertatsioonidet
dc.titleIteratively defined transfinite trace semantics and program slicing with respect to themet
dc.title.alternativeIteratiivselt defineeritud transfiniitsed jälitussemantikad ja programmislitseerimine nende suhteset
dc.typeThesiset

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
nestraharmel.pdf
Size:
591.08 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
341 B
Format:
Plain Text
Description:
Download

Collections

1. TÜ väitekirjad alates 2004 - Theses, PhD, MSc, ETD