Iteratively defined transfinite trace semantics and program slicing with respect to them / Härmel Nestra
Saved in:
Superior document: | Dissertationes mathematicae Universitatis Tartuensis 49 |
---|---|
VerfasserIn: | |
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!
|
LEADER | 01091nam#a2200325zcb4500 | ||
---|---|---|---|
001 | 990001369280504498 | ||
005 | 20230210201602.0 | ||
007 | tu | ||
008 | 070424|2006####|||######m####|||#|#eng#c | ||
009 | AC05927822 | ||
020 | |a 9949114365 |c (trükis) | ||
020 | |a 9949114373 |c (pdf) | ||
035 | |a (AT-OBV)AC05927822 | ||
035 | |a AC05927822 | ||
035 | |a (Aleph)005860993ACC01 | ||
035 | |a (DE-599)OBVAC05927822 | ||
035 | |a (EXLNZ-43ACC_NETWORK)990058609930203331 | ||
040 | |a OAW |b ger |e rakddb | ||
041 | |a eng | ||
044 | |c XA-EE | ||
084 | |a 54.10 |2 bkl |9 O: Automatisch aus GBV_2011-10 2012-06-21 | ||
084 | |a 54.51 |2 bkl |9 O: Automatisch aus GBV_2011-10 2012-06-21 | ||
100 | 1 | |a Nestra, Härmel |4 aut | |
245 | 1 | 0 | |a Iteratively defined transfinite trace semantics and program slicing with respect to them |c Härmel Nestra |
264 | 1 | |a Tartu |b Univ. Press |c 2006 | |
300 | |a 118 S. |c 25 cm | ||
490 | 1 | |a Dissertationes mathematicae Universitatis Tartuensis |v 49 | |
500 | |a Literaturverz. S. 109 - 110. - Zsfassung in estn. Sprache | ||
502 | |a Zugl.: Tartu, Univ., Diss., 2006 | ||
830 | 0 | |w (AT-OBV)AC02937968 |v 49 | |
970 | 1 | |c 23 | |
ADM | |b 2023-02-10 20:16:02 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 05:18:23 Europe/Vienna |g false | ||
HOL | 8 | |b YWOAW |h 89876.49 |c MAG1 |8 2214001990004498 | |
852 | 8 | |b YWOAW |c MAG1 |h 89876.49 |8 2214001990004498 | |
ITM | |9 2214001990004498 |e 1 |m BOOK |b +YW9412207 |i 89876.49 |2 MAG1 |o 20070424 |8 2314001980004498 |f 02 |p 2007-04-24 02:00:00 Europe/Vienna |h 89876.49 |1 YWOAW |q 2022-09-21 12:30:52 Europe/Vienna |