A formalization and implementation of Gries's program development method within the KIV environment:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Karlsruhe
Univ., Fak. für Informatik
1989
|
| Schriftenreihe: | Interner Bericht / Universität Karlsruhe, Fakultät für Informatik
1989,3 |
| Schlagworte: | |
| Beschreibung: | 156 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001856864 | ||
| 003 | DE-604 | ||
| 005 | 20140619 | ||
| 007 | t | ||
| 008 | 890627s1989 gw d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)311062916 | ||
| 035 | |a (DE-599)BVBBV001856864 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-91G | ||
| 084 | |a DAT 332f |2 stub | ||
| 100 | 1 | |a Heisel, Maritta |e Verfasser |0 (DE-588)105233167X |4 aut | |
| 245 | 1 | 0 | |a A formalization and implementation of Gries's program development method within the KIV environment |c Maritta Heisel. Univ. Karlsruhe, Fak. für Informatik |
| 264 | 1 | |a Karlsruhe |b Univ., Fak. für Informatik |c 1989 | |
| 300 | |a 156 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Interner Bericht / Universität Karlsruhe, Fakultät für Informatik |v 1989,3 | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prüfprogramm |0 (DE-588)4268583-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 2 | |a Prüfprogramm |0 (DE-588)4268583-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a Universität Karlsruhe, Fakultät für Informatik |t Interner Bericht |v 1989,3 |w (DE-604)BV000003275 |9 1989,3 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001229131 | ||
Datensatz im Suchindex
| _version_ | 1804116322177515520 |
|---|---|
| any_adam_object | |
| author | Heisel, Maritta |
| author_GND | (DE-588)105233167X |
| author_facet | Heisel, Maritta |
| author_role | aut |
| author_sort | Heisel, Maritta |
| author_variant | m h mh |
| building | Verbundindex |
| bvnumber | BV001856864 |
| classification_tum | DAT 332f |
| ctrlnum | (OCoLC)311062916 (DE-599)BVBBV001856864 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01480nam a2200373 cb4500</leader><controlfield tag="001">BV001856864</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140619 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890627s1989 gw d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)311062916</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001856864</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 332f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Heisel, Maritta</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)105233167X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A formalization and implementation of Gries's program development method within the KIV environment</subfield><subfield code="c">Maritta Heisel. Univ. Karlsruhe, Fak. für Informatik</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Karlsruhe</subfield><subfield code="b">Univ., Fak. für Informatik</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">156 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">Interner Bericht / Universität Karlsruhe, Fakultät für Informatik</subfield><subfield code="v">1989,3</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prüfprogramm</subfield><subfield code="0">(DE-588)4268583-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Prüfprogramm</subfield><subfield code="0">(DE-588)4268583-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Universität Karlsruhe, Fakultät für Informatik</subfield><subfield code="t">Interner Bericht</subfield><subfield code="v">1989,3</subfield><subfield code="w">(DE-604)BV000003275</subfield><subfield code="9">1989,3</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001229131</subfield></datafield></record></collection> |
| id | DE-604.BV001856864 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:36:40Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001229131 |
| oclc_num | 311062916 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM |
| owner_facet | DE-12 DE-91G DE-BY-TUM |
| physical | 156 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Univ., Fak. für Informatik |
| record_format | marc |
| series2 | Interner Bericht / Universität Karlsruhe, Fakultät für Informatik |
| spelling | Heisel, Maritta Verfasser (DE-588)105233167X aut A formalization and implementation of Gries's program development method within the KIV environment Maritta Heisel. Univ. Karlsruhe, Fak. für Informatik Karlsruhe Univ., Fak. für Informatik 1989 156 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Interner Bericht / Universität Karlsruhe, Fakultät für Informatik 1989,3 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Prüfprogramm (DE-588)4268583-7 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 s Künstliche Intelligenz (DE-588)4033447-8 s Prüfprogramm (DE-588)4268583-7 s DE-604 Universität Karlsruhe, Fakultät für Informatik Interner Bericht 1989,3 (DE-604)BV000003275 1989,3 |
| spellingShingle | Heisel, Maritta A formalization and implementation of Gries's program development method within the KIV environment Softwareentwicklung (DE-588)4116522-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Prüfprogramm (DE-588)4268583-7 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4033447-8 (DE-588)4268583-7 |
| title | A formalization and implementation of Gries's program development method within the KIV environment |
| title_auth | A formalization and implementation of Gries's program development method within the KIV environment |
| title_exact_search | A formalization and implementation of Gries's program development method within the KIV environment |
| title_full | A formalization and implementation of Gries's program development method within the KIV environment Maritta Heisel. Univ. Karlsruhe, Fak. für Informatik |
| title_fullStr | A formalization and implementation of Gries's program development method within the KIV environment Maritta Heisel. Univ. Karlsruhe, Fak. für Informatik |
| title_full_unstemmed | A formalization and implementation of Gries's program development method within the KIV environment Maritta Heisel. Univ. Karlsruhe, Fak. für Informatik |
| title_short | A formalization and implementation of Gries's program development method within the KIV environment |
| title_sort | a formalization and implementation of gries s program development method within the kiv environment |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Prüfprogramm (DE-588)4268583-7 gnd |
| topic_facet | Softwareentwicklung Künstliche Intelligenz Prüfprogramm |
| volume_link | (DE-604)BV000003275 |
| work_keys_str_mv | AT heiselmaritta aformalizationandimplementationofgriessprogramdevelopmentmethodwithinthekivenvironment |