Testen, Analysieren und Verifizieren von Software: Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English German |
| Veröffentlicht: |
Berlin u.a.
Springer
1992
|
| Schriftenreihe: | Informatik aktuell
|
| Schlagworte: | |
| Beschreibung: | VIII, 186 S. graph. Darst. |
| ISBN: | 3540558608 0387558608 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009016407 | ||
| 003 | DE-604 | ||
| 005 | 20050419 | ||
| 007 | t | ||
| 008 | 940206s1992 d||| |||| 10||| eng d | ||
| 020 | |a 3540558608 |9 3-540-55860-8 | ||
| 020 | |a 0387558608 |9 0-387-55860-8 | ||
| 035 | |a (OCoLC)320327089 | ||
| 035 | |a (DE-599)BVBBV009016407 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng |a ger | |
| 049 | |a DE-29T |a DE-11 | ||
| 080 | |a 681.3.06 | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 245 | 1 | 0 | |a Testen, Analysieren und Verifizieren von Software |b Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992 |c P. Liggesmeyer ... (Hrsg.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1992 | |
| 300 | |a VIII, 186 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Informatik aktuell | |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Qualitätskontrolle |0 (DE-588)4047968-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Benthe |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Bochum |2 gnd-content | |
| 689 | 0 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 0 | 1 | |a Qualitätskontrolle |0 (DE-588)4047968-7 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Liggesmeyer, Peter |d 1963- |e Sonstige |0 (DE-588)112090362 |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005961799 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804123365783371776 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)112090362 |
| building | Verbundindex |
| bvnumber | BV009016407 |
| classification_rvk | ST 230 ST 233 |
| ctrlnum | (OCoLC)320327089 (DE-599)BVBBV009016407 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02125nam a2200505 c 4500</leader><controlfield tag="001">BV009016407</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050419 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1992 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540558608</subfield><subfield code="9">3-540-55860-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387558608</subfield><subfield code="9">0-387-55860-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)320327089</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009016407</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><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">681.3.06</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Testen, Analysieren und Verifizieren von Software</subfield><subfield code="b">Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992</subfield><subfield code="c">P. Liggesmeyer ... (Hrsg.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 186 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="0" ind2=" "><subfield code="a">Informatik aktuell</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Benthe</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Bochum</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liggesmeyer, Peter</subfield><subfield code="d">1963-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)112090362</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005961799</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Benthe gnd-content (DE-588)1071861417 Konferenzschrift 1992 Bochum gnd-content |
| genre_facet | Konferenzschrift 1991 Benthe Konferenzschrift 1992 Bochum |
| id | DE-604.BV009016407 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:28:37Z |
| institution | BVB |
| isbn | 3540558608 0387558608 |
| language | English German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005961799 |
| oclc_num | 320327089 |
| open_access_boolean | |
| owner | DE-29T DE-11 |
| owner_facet | DE-29T DE-11 |
| physical | VIII, 186 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Springer |
| record_format | marc |
| series2 | Informatik aktuell |
| spelling | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992 P. Liggesmeyer ... (Hrsg.) Berlin u.a. Springer 1992 VIII, 186 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Informatik aktuell Softwaretest (DE-588)4132652-0 gnd rswk-swf Qualitätskontrolle (DE-588)4047968-7 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Benthe gnd-content (DE-588)1071861417 Konferenzschrift 1992 Bochum gnd-content Software (DE-588)4055382-6 s Qualitätskontrolle (DE-588)4047968-7 s 1\p DE-604 Softwaretest (DE-588)4132652-0 s 2\p DE-604 Programmverifikation (DE-588)4135576-3 s 3\p DE-604 Liggesmeyer, Peter 1963- Sonstige (DE-588)112090362 oth 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992 Softwaretest (DE-588)4132652-0 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4132652-0 (DE-588)4047968-7 (DE-588)4055382-6 (DE-588)4135576-3 (DE-588)1071861417 |
| title | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992 |
| title_auth | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992 |
| title_exact_search | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992 |
| title_full | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992 P. Liggesmeyer ... (Hrsg.) |
| title_fullStr | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992 P. Liggesmeyer ... (Hrsg.) |
| title_full_unstemmed | Testen, Analysieren und Verifizieren von Software Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992 P. Liggesmeyer ... (Hrsg.) |
| title_short | Testen, Analysieren und Verifizieren von Software |
| title_sort | testen analysieren und verifizieren von software arbeitskreis testen analysieren und verifizieren von software der fachgruppe software engineering der gi proceedings der treffen in benthe und bochum juni 1991 und februar 1992 |
| title_sub | Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI ; Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992 |
| topic | Softwaretest (DE-588)4132652-0 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Software (DE-588)4055382-6 gnd Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Softwaretest Qualitätskontrolle Software Programmverifikation Konferenzschrift 1991 Benthe Konferenzschrift 1992 Bochum |
| work_keys_str_mv | AT liggesmeyerpeter testenanalysierenundverifizierenvonsoftwarearbeitskreistestenanalysierenundverifizierenvonsoftwarederfachgruppesoftwareengineeringdergiproceedingsdertreffeninbentheundbochumjuni1991undfebruar1992 |