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

Iteratively defined transfinite trace semantics and program slicing with respect to them / Härmel Nestra

Saved in:
Bibliographic Details
Superior document:Dissertationes mathematicae Universitatis Tartuensis 49
VerfasserIn:
Nestra, Härmel
Place / Publishing House:Tartu : Univ. Press, 2006
Year of Publication:2006
Language:English
Series:Dissertationes mathematicae Universitatis Tartuensis 49
Classification:54.10 - Theoretische Informatik
54.51 - Programmiermethodik
Physical Description:118 S.; 25 cm
Notes:Literaturverz. S. 109 - 110. - Zsfassung in estn. Sprache
Tags: Add Tag
No Tags, Be the first to tag this record!
id 990001369280504498
ctrlnum AC05927822
(AT-OBV)AC05927822
(Aleph)005860993ACC01
(DE-599)OBVAC05927822
(EXLNZ-43ACC_NETWORK)990058609930203331
collection bib_alma
institution YWOAW
building MAG1
record_format marc
spelling Nestra, Härmel aut
Iteratively defined transfinite trace semantics and program slicing with respect to them Härmel Nestra
Tartu Univ. Press 2006
118 S. 25 cm
Dissertationes mathematicae Universitatis Tartuensis 49
Literaturverz. S. 109 - 110. - Zsfassung in estn. Sprache
Zugl.: Tartu, Univ., Diss., 2006
(AT-OBV)AC02937968 49
YWOAW MAG1 89876.49 2214001990004498
language English
format Thesis
Book
author Nestra, Härmel
spellingShingle Nestra, Härmel
Iteratively defined transfinite trace semantics and program slicing with respect to them
Dissertationes mathematicae Universitatis Tartuensis
author_facet Nestra, Härmel
author_variant h n hn
author_role VerfasserIn
author_sort Nestra, Härmel
title Iteratively defined transfinite trace semantics and program slicing with respect to them
title_full Iteratively defined transfinite trace semantics and program slicing with respect to them Härmel Nestra
title_fullStr Iteratively defined transfinite trace semantics and program slicing with respect to them Härmel Nestra
title_full_unstemmed Iteratively defined transfinite trace semantics and program slicing with respect to them Härmel Nestra
title_auth Iteratively defined transfinite trace semantics and program slicing with respect to them
title_new Iteratively defined transfinite trace semantics and program slicing with respect to them
title_sort iteratively defined transfinite trace semantics and program slicing with respect to them
series Dissertationes mathematicae Universitatis Tartuensis
series2 Dissertationes mathematicae Universitatis Tartuensis
publisher Univ. Press
publishDate 2006
physical 118 S. 25 cm
isbn 9949114365
9949114373
callnumber-raw 89876.49
callnumber-search 89876.49
illustrated Not Illustrated
work_keys_str_mv AT nestraharmel iterativelydefinedtransfinitetracesemanticsandprogramslicingwithrespecttothem
status_str n
ids_txt_mv (AT-OBV)AC05927822
AC05927822
(Aleph)005860993ACC01
(DE-599)OBVAC05927822
(EXLNZ-43ACC_NETWORK)990058609930203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 89876.49
hol852cSonderstandort_txt_mv MAG1
itmData_txt_mv 2007-04-24 02:00:00 Europe/Vienna
barcode_str_mv +YW9412207
callnumbers_txt_mv 89876.49
inventoryNumbers_str_mv 89876.49
materialTypes_str_mv BOOK
permanentLibraries_str_mv YWOAW
permanentLocations_str_mv MAG1
inventoryDates_str_mv 20070424
createdDates_str_mv 2007-04-24 02:00:00 Europe/Vienna
holdingIds_str_mv 2214001990004498
hierarchy_parent_id AC02937968
hierarchy_parent_title Dissertationes mathematicae Universitatis Tartuensis 49
hierarchy_sequence 49
is_hierarchy_id AC05927822
is_hierarchy_title Iteratively defined transfinite trace semantics and program slicing with respect to them
container_title Dissertationes mathematicae Universitatis Tartuensis 49
container_reference AC02937968
basiskl_str_mv 54.10 - Theoretische Informatik
54.51 - Programmiermethodik
basiskl_txtF_mv 54.10 - Theoretische Informatik
54.51 - Programmiermethodik
_version_ 1787551343159803904
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01091nam#a2200325zcb4500</leader><controlfield tag="001">990001369280504498</controlfield><controlfield tag="005">20230210201602.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">070424|2006####|||######m####|||#|#eng#c</controlfield><controlfield tag="009">AC05927822</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9949114365</subfield><subfield code="c">(trükis)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9949114373</subfield><subfield code="c">(pdf)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC05927822</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC05927822</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)005860993ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC05927822</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990058609930203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">OAW</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-EE</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.10</subfield><subfield code="2">bkl</subfield><subfield code="9">O: Automatisch aus GBV_2011-10 2012-06-21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.51</subfield><subfield code="2">bkl</subfield><subfield code="9">O: Automatisch aus GBV_2011-10 2012-06-21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nestra, Härmel</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Iteratively defined transfinite trace semantics and program slicing with respect to them</subfield><subfield code="c">Härmel Nestra</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tartu</subfield><subfield code="b">Univ. Press</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">118 S.</subfield><subfield code="c">25 cm</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Dissertationes mathematicae Universitatis Tartuensis</subfield><subfield code="v">49</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 109 - 110. - Zsfassung in estn. Sprache</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Tartu, Univ., Diss., 2006</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC02937968</subfield><subfield code="v">49</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">23</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-02-10 20:16:02 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 05:18:23 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">89876.49</subfield><subfield code="c">MAG1</subfield><subfield code="8">2214001990004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1</subfield><subfield code="h">89876.49</subfield><subfield code="8">2214001990004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2214001990004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW9412207</subfield><subfield code="i">89876.49</subfield><subfield code="2">MAG1</subfield><subfield code="o">20070424</subfield><subfield code="8">2314001980004498</subfield><subfield code="f">02</subfield><subfield code="p">2007-04-24 02:00:00 Europe/Vienna</subfield><subfield code="h">89876.49</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-09-21 12:30:52 Europe/Vienna</subfield></datafield></record></collection>

Similar Items