Assertional verification in distributed computing: = Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
1991
|
| Schlagworte: | |
| Beschreibung: | V, 191 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005460499 | ||
| 003 | DE-604 | ||
| 005 | 19930625 | ||
| 007 | t | ||
| 008 | 920806s1991 d||| m||| 00||| engod | ||
| 035 | |a (OCoLC)46098494 | ||
| 035 | |a (DE-599)BVBBV005460499 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-355 |a DE-739 |a DE-703 |a DE-29T |a DE-188 | ||
| 100 | 1 | |a Schoone, Anna A. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Assertional verification in distributed computing |b = Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen |c door Anna Adriana Schoone |
| 246 | 1 | 1 | |a Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen |
| 264 | 1 | |c 1991 | |
| 300 | |a V, 191 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Utrecht, Univ., Diss., 1991 | ||
| 650 | 7 | |a Gedistribueerde gegevensverwerking |2 gtt | |
| 650 | 7 | |a Verificatie |2 gtt | |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Protokoll |0 (DE-588)4047552-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes Datenbanksystem |0 (DE-588)4121865-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 1 | |a Protokoll |0 (DE-588)4047552-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Verteiltes Datenbanksystem |0 (DE-588)4121865-6 |D s |
| 689 | 1 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003417397 | ||
Datensatz im Suchindex
| _version_ | 1804119673040535552 |
|---|---|
| any_adam_object | |
| author | Schoone, Anna A. |
| author_facet | Schoone, Anna A. |
| author_role | aut |
| author_sort | Schoone, Anna A. |
| author_variant | a a s aa aas |
| building | Verbundindex |
| bvnumber | BV005460499 |
| ctrlnum | (OCoLC)46098494 (DE-599)BVBBV005460499 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01615nam a2200421 c 4500</leader><controlfield tag="001">BV005460499</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19930625 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920806s1991 d||| m||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46098494</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005460499</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schoone, Anna A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Assertional verification in distributed computing</subfield><subfield code="b">= Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen</subfield><subfield code="c">door Anna Adriana Schoone</subfield></datafield><datafield tag="246" ind1="1" ind2="1"><subfield code="a">Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 191 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="502" ind1=" " ind2=" "><subfield code="a">Utrecht, Univ., Diss., 1991</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Gedistribueerde gegevensverwerking</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verificatie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Protokoll</subfield><subfield code="0">(DE-588)4047552-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes Datenbanksystem</subfield><subfield code="0">(DE-588)4121865-6</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">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Protokoll</subfield><subfield code="0">(DE-588)4047552-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Verteiltes Datenbanksystem</subfield><subfield code="0">(DE-588)4121865-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003417397</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV005460499 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:29:55Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003417397 |
| oclc_num | 46098494 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-739 DE-703 DE-29T DE-188 |
| owner_facet | DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-739 DE-703 DE-29T DE-188 |
| physical | V, 191 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| spelling | Schoone, Anna A. Verfasser aut Assertional verification in distributed computing = Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen door Anna Adriana Schoone Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen 1991 V, 191 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Utrecht, Univ., Diss., 1991 Gedistribueerde gegevensverwerking gtt Verificatie gtt Verteiltes System (DE-588)4238872-7 gnd rswk-swf Protokoll (DE-588)4047552-9 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Verteiltes Datenbanksystem (DE-588)4121865-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Verteiltes System (DE-588)4238872-7 s Protokoll (DE-588)4047552-9 s DE-604 Verteiltes Datenbanksystem (DE-588)4121865-6 s Verifikation (DE-588)4135577-5 s |
| spellingShingle | Schoone, Anna A. Assertional verification in distributed computing = Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen Gedistribueerde gegevensverwerking gtt Verificatie gtt Verteiltes System (DE-588)4238872-7 gnd Protokoll (DE-588)4047552-9 gnd Verifikation (DE-588)4135577-5 gnd Verteiltes Datenbanksystem (DE-588)4121865-6 gnd |
| subject_GND | (DE-588)4238872-7 (DE-588)4047552-9 (DE-588)4135577-5 (DE-588)4121865-6 (DE-588)4113937-9 |
| title | Assertional verification in distributed computing = Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen |
| title_alt | Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen |
| title_auth | Assertional verification in distributed computing = Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen |
| title_exact_search | Assertional verification in distributed computing = Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen |
| title_full | Assertional verification in distributed computing = Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen door Anna Adriana Schoone |
| title_fullStr | Assertional verification in distributed computing = Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen door Anna Adriana Schoone |
| title_full_unstemmed | Assertional verification in distributed computing = Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen door Anna Adriana Schoone |
| title_short | Assertional verification in distributed computing |
| title_sort | assertional verification in distributed computing het gebruik van invarianten in de verificatie van gedistribueerde algoritmen |
| title_sub | = Het gebruik van invarianten in de verificatie van gedistribueerde algoritmen |
| topic | Gedistribueerde gegevensverwerking gtt Verificatie gtt Verteiltes System (DE-588)4238872-7 gnd Protokoll (DE-588)4047552-9 gnd Verifikation (DE-588)4135577-5 gnd Verteiltes Datenbanksystem (DE-588)4121865-6 gnd |
| topic_facet | Gedistribueerde gegevensverwerking Verificatie Verteiltes System Protokoll Verifikation Verteiltes Datenbanksystem Hochschulschrift |
| work_keys_str_mv | AT schooneannaa assertionalverificationindistributedcomputinghetgebruikvaninvariantenindeverificatievangedistribueerdealgoritmen AT schooneannaa hetgebruikvaninvariantenindeverificatievangedistribueerdealgoritmen |