An execution trace verification method on linearizability:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
München
TUM, Network Architectures and Services, Dep. of Computer Science, Techn. Univ.
2011
|
| Series: | Network architectures and services
2011,05,1 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XXII, 146 S. graph. Darst. |
| ISBN: | 3937201203 9783937201207 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042535134 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 150430s2011 d||| m||| 00||| eng d | ||
| 020 | |a 3937201203 |c print: ca. EUR 67.00 |9 3-937201-20-3 | ||
| 020 | |a 9783937201207 |c print: ca. EUR 67.00 |9 978-3-937201-20-7 | ||
| 035 | |a (OCoLC)794525549 | ||
| 035 | |a (DE-599)GBV735466270 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 082 | 0 | |a 005.14 |2 22//ger | |
| 084 | |a 54.25 |2 bkl | ||
| 084 | |a 54.51 |2 bkl | ||
| 084 | |a DAT 516d |2 stub | ||
| 100 | 1 | |a Dragičević, Kristijan |d 1982- |e Verfasser |0 (DE-588)1011900300 |4 aut | |
| 245 | 1 | 0 | |a An execution trace verification method on linearizability |c Kristijan Dragiěcević |
| 264 | 1 | |a München |b TUM, Network Architectures and Services, Dep. of Computer Science, Techn. Univ. |c 2011 | |
| 300 | |a XXII, 146 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Network architectures and services |v 2011,05,1 | |
| 502 | |a Zugl.: München, Techn. Univ., Diss., 2011 | ||
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 2 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Network architectures and services |v 2011,05,1 |w (DE-604)BV035950382 |9 2011,05,1 | |
| 856 | 4 | |q application/pdf |u http://d-nb.info/1013357930/04 |3 Inhaltsverzeichnis | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027969284 | ||
Record in the Search Index
| _version_ | 1804153296557965312 |
|---|---|
| any_adam_object | |
| author | Dragičević, Kristijan 1982- |
| author_GND | (DE-588)1011900300 |
| author_facet | Dragičević, Kristijan 1982- |
| author_role | aut |
| author_sort | Dragičević, Kristijan 1982- |
| author_variant | k d kd |
| building | Verbundindex |
| bvnumber | BV042535134 |
| classification_tum | DAT 516d |
| ctrlnum | (OCoLC)794525549 (DE-599)GBV735466270 |
| dewey-full | 005.14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.14 |
| dewey-search | 005.14 |
| dewey-sort | 15.14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01809nam a2200457 cb4500</leader><controlfield tag="001">BV042535134</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">150430s2011 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3937201203</subfield><subfield code="c">print: ca. EUR 67.00</subfield><subfield code="9">3-937201-20-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783937201207</subfield><subfield code="c">print: ca. EUR 67.00</subfield><subfield code="9">978-3-937201-20-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)794525549</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV735466270</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.25</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.51</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dragičević, Kristijan</subfield><subfield code="d">1982-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1011900300</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An execution trace verification method on linearizability</subfield><subfield code="c">Kristijan Dragiěcević</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">TUM, Network Architectures and Services, Dep. of Computer Science, Techn. Univ.</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 146 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Network architectures and services</subfield><subfield code="v">2011,05,1</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Techn. Univ., Diss., 2011</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Network architectures and services</subfield><subfield code="v">2011,05,1</subfield><subfield code="w">(DE-604)BV035950382</subfield><subfield code="9">2011,05,1</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">application/pdf</subfield><subfield code="u">http://d-nb.info/1013357930/04</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027969284</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042535134 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T01:24:21Z |
| institution | BVB |
| isbn | 3937201203 9783937201207 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027969284 |
| oclc_num | 794525549 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | XXII, 146 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | TUM, Network Architectures and Services, Dep. of Computer Science, Techn. Univ. |
| record_format | marc |
| series | Network architectures and services |
| series2 | Network architectures and services |
| spelling | Dragičević, Kristijan 1982- Verfasser (DE-588)1011900300 aut An execution trace verification method on linearizability Kristijan Dragiěcević München TUM, Network Architectures and Services, Dep. of Computer Science, Techn. Univ. 2011 XXII, 146 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Network architectures and services 2011,05,1 Zugl.: München, Techn. Univ., Diss., 2011 Programmverifikation (DE-588)4135576-3 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Parallelverarbeitung (DE-588)4075860-6 s Programmierung (DE-588)4076370-5 s Programmverifikation (DE-588)4135576-3 s DE-604 Network architectures and services 2011,05,1 (DE-604)BV035950382 2011,05,1 application/pdf http://d-nb.info/1013357930/04 Inhaltsverzeichnis |
| spellingShingle | Dragičević, Kristijan 1982- An execution trace verification method on linearizability Network architectures and services Programmverifikation (DE-588)4135576-3 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4075860-6 (DE-588)4076370-5 (DE-588)4113937-9 |
| title | An execution trace verification method on linearizability |
| title_auth | An execution trace verification method on linearizability |
| title_exact_search | An execution trace verification method on linearizability |
| title_full | An execution trace verification method on linearizability Kristijan Dragiěcević |
| title_fullStr | An execution trace verification method on linearizability Kristijan Dragiěcević |
| title_full_unstemmed | An execution trace verification method on linearizability Kristijan Dragiěcević |
| title_short | An execution trace verification method on linearizability |
| title_sort | an execution trace verification method on linearizability |
| topic | Programmverifikation (DE-588)4135576-3 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Programmverifikation Parallelverarbeitung Programmierung Hochschulschrift |
| url | http://d-nb.info/1013357930/04 |
| volume_link | (DE-604)BV035950382 |
| work_keys_str_mv | AT dragicevickristijan anexecutiontraceverificationmethodonlinearizability |