Konstruktion guter Algorithmen: Sichere und korrekte Software
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1996
|
| Schriftenreihe: | Informatik & Praxis
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Das Buch stellt Verfahren vor, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren. Für diese Algorithmen kann zweifelsfrei nachgewiesen werden, daß sie korrekt sind, d. h. genau das leisten, was sie leisten sollen. Es wird auf die Übertragung in gängige Programmiersprachen und auf systematische Testmethoden eingegangen. Einen großen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Programmieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht über das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verfügung |
| Beschreibung: | 1 Online-Ressource (300 S.) |
| ISBN: | 9783663105176 9783519029908 |
| ISSN: | 1615-8245 |
| DOI: | 10.1007/978-3-663-10517-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042438653 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1996 |||| o||u| ||||||ger d | ||
| 020 | |a 9783663105176 |c Online |9 978-3-663-10517-6 | ||
| 020 | |a 9783519029908 |c Print |9 978-3-519-02990-8 | ||
| 024 | 7 | |a 10.1007/978-3-663-10517-6 |2 doi | |
| 035 | |a (OCoLC)864095021 | ||
| 035 | |a (DE-599)BVBBV042438653 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Dittmer, Ingo |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Konstruktion guter Algorithmen |b Sichere und korrekte Software |c von Ingo Dittmer |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1996 | |
| 300 | |a 1 Online-Ressource (300 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Informatik & Praxis |x 1615-8245 | |
| 500 | |a Das Buch stellt Verfahren vor, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren. Für diese Algorithmen kann zweifelsfrei nachgewiesen werden, daß sie korrekt sind, d. h. genau das leisten, was sie leisten sollen. Es wird auf die Übertragung in gängige Programmiersprachen und auf systematische Testmethoden eingegangen. Einen großen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Programmieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht über das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verfügung | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Effizienter Algorithmus |0 (DE-588)4125422-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmische Programmierung |0 (DE-588)4293504-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Korrektheit |0 (DE-588)4240223-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 1 | |a Effizienter Algorithmus |0 (DE-588)4125422-3 |D s |
| 689 | 0 | 2 | |a Korrektheit |0 (DE-588)4240223-2 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Algorithmische Programmierung |0 (DE-588)4293504-0 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-663-10517-6 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027873983 | ||
| 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_ | 1804153128796291072 |
|---|---|
| any_adam_object | |
| author | Dittmer, Ingo |
| author_facet | Dittmer, Ingo |
| author_role | aut |
| author_sort | Dittmer, Ingo |
| author_variant | i d id |
| building | Verbundindex |
| bvnumber | BV042438653 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)864095021 (DE-599)BVBBV042438653 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-663-10517-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03077nmm a2200589zc 4500</leader><controlfield tag="001">BV042438653</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1996 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783663105176</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-663-10517-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519029908</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02990-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-663-10517-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864095021</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042438653</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dittmer, Ingo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Konstruktion guter Algorithmen</subfield><subfield code="b">Sichere und korrekte Software</subfield><subfield code="c">von Ingo Dittmer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (300 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Informatik & Praxis</subfield><subfield code="x">1615-8245</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Das Buch stellt Verfahren vor, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren. Für diese Algorithmen kann zweifelsfrei nachgewiesen werden, daß sie korrekt sind, d. h. genau das leisten, was sie leisten sollen. Es wird auf die Übertragung in gängige Programmiersprachen und auf systematische Testmethoden eingegangen. Einen großen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Programmieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht über das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verfügung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Effizienter Algorithmus</subfield><subfield code="0">(DE-588)4125422-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmische Programmierung</subfield><subfield code="0">(DE-588)4293504-0</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="650" ind1="0" ind2="7"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Effizienter Algorithmus</subfield><subfield code="0">(DE-588)4125422-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Algorithmische Programmierung</subfield><subfield code="0">(DE-588)4293504-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-663-10517-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027873983</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 | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV042438653 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:41Z |
| institution | BVB |
| isbn | 9783663105176 9783519029908 |
| issn | 1615-8245 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027873983 |
| oclc_num | 864095021 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (300 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Informatik & Praxis |
| spelling | Dittmer, Ingo Verfasser aut Konstruktion guter Algorithmen Sichere und korrekte Software von Ingo Dittmer Wiesbaden Vieweg+Teubner Verlag 1996 1 Online-Ressource (300 S.) txt rdacontent c rdamedia cr rdacarrier Informatik & Praxis 1615-8245 Das Buch stellt Verfahren vor, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren. Für diese Algorithmen kann zweifelsfrei nachgewiesen werden, daß sie korrekt sind, d. h. genau das leisten, was sie leisten sollen. Es wird auf die Übertragung in gängige Programmiersprachen und auf systematische Testmethoden eingegangen. Einen großen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Programmieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Das Buch ist im Rahmen des http://medoc.informatik.tu-muenchen.de/deutsch/medoc.html>MeDoc-Projektes in die elektronische Informatik-Bibliothek aufgenommen worden und steht über das Projekt http://InterDoc.OFFIS.Uni-Oldenburg.de>InterDoc weiterhin zur Verfügung Engineering Engineering, general Ingenieurwissenschaften Effizienter Algorithmus (DE-588)4125422-3 gnd rswk-swf Algorithmische Programmierung (DE-588)4293504-0 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Korrektheit (DE-588)4240223-2 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Programmierung (DE-588)4076370-5 s Effizienter Algorithmus (DE-588)4125422-3 s Korrektheit (DE-588)4240223-2 s 2\p DE-604 Algorithmische Programmierung (DE-588)4293504-0 s 3\p DE-604 https://doi.org/10.1007/978-3-663-10517-6 Verlag Volltext 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 | Dittmer, Ingo Konstruktion guter Algorithmen Sichere und korrekte Software Engineering Engineering, general Ingenieurwissenschaften Effizienter Algorithmus (DE-588)4125422-3 gnd Algorithmische Programmierung (DE-588)4293504-0 gnd Programmierung (DE-588)4076370-5 gnd Korrektheit (DE-588)4240223-2 gnd |
| subject_GND | (DE-588)4125422-3 (DE-588)4293504-0 (DE-588)4076370-5 (DE-588)4240223-2 (DE-588)4151278-9 |
| title | Konstruktion guter Algorithmen Sichere und korrekte Software |
| title_auth | Konstruktion guter Algorithmen Sichere und korrekte Software |
| title_exact_search | Konstruktion guter Algorithmen Sichere und korrekte Software |
| title_full | Konstruktion guter Algorithmen Sichere und korrekte Software von Ingo Dittmer |
| title_fullStr | Konstruktion guter Algorithmen Sichere und korrekte Software von Ingo Dittmer |
| title_full_unstemmed | Konstruktion guter Algorithmen Sichere und korrekte Software von Ingo Dittmer |
| title_short | Konstruktion guter Algorithmen |
| title_sort | konstruktion guter algorithmen sichere und korrekte software |
| title_sub | Sichere und korrekte Software |
| topic | Engineering Engineering, general Ingenieurwissenschaften Effizienter Algorithmus (DE-588)4125422-3 gnd Algorithmische Programmierung (DE-588)4293504-0 gnd Programmierung (DE-588)4076370-5 gnd Korrektheit (DE-588)4240223-2 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Effizienter Algorithmus Algorithmische Programmierung Programmierung Korrektheit Einführung |
| url | https://doi.org/10.1007/978-3-663-10517-6 |
| work_keys_str_mv | AT dittmeringo konstruktionguteralgorithmensichereundkorrektesoftware |