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

Lühendatud kirje lehekülg
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

Failid

Originaal pakett

Nüüd näidatakse 1 - 1 1
Pisipilt
Nimi:
nestraharmel.pdf
Suurus:
591.08 KB
Formaat:
Adobe Portable Document Format
Lae alla

Litsentsi pakett

Nüüd näidatakse 1 - 1 1
Pisipilt ei ole saadaval
Nimi:
license.txt
Suurus:
341 B
Formaat:
Plain Text
Kirjeldus:
Lae alla

Kollektsioonid

1. TÜ väitekirjad alates 2004. Kaitstud doktoritööd, teadusmagistritööd. Doctoral theses, PhD, MSc, MPhil.