Vorlesungen über Informatik: Berechenbarkeit, formale Sprachen, Spezifikationen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1997
|
| Schriftenreihe: | Springer-Lehrbuch
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert |
| Beschreibung: | 1 Online-Ressource (XII, 284S. 72 Abb) |
| ISBN: | 9783642591402 9783540606550 |
| ISSN: | 0937-7433 |
| DOI: | 10.1007/978-3-642-59140-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042432616 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1997 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642591402 |c Online |9 978-3-642-59140-2 | ||
| 020 | |a 9783540606550 |c Print |9 978-3-540-60655-0 | ||
| 024 | 7 | |a 10.1007/978-3-642-59140-2 |2 doi | |
| 035 | |a (OCoLC)907049461 | ||
| 035 | |a (DE-599)BVBBV042432616 | ||
| 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 005.1 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Goos, Gerhard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Vorlesungen über Informatik |b Berechenbarkeit, formale Sprachen, Spezifikationen |c von Gerhard Goos |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1997 | |
| 300 | |a 1 Online-Ressource (XII, 284S. 72 Abb) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Springer-Lehrbuch |x 0937-7433 | |
| 500 | |a Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Data Structures, Cryptology and Information Theory | |
| 650 | 4 | |a Informatik | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-59140-2 |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-027867947 | ||
Datensatz im Suchindex
| _version_ | 1804153117014491136 |
|---|---|
| any_adam_object | |
| author | Goos, Gerhard |
| author_facet | Goos, Gerhard |
| author_role | aut |
| author_sort | Goos, Gerhard |
| author_variant | g g gg |
| building | Verbundindex |
| bvnumber | BV042432616 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)907049461 (DE-599)BVBBV042432616 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-59140-2 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02348nmm a2200469zc 4500</leader><controlfield tag="001">BV042432616</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1997 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642591402</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-59140-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540606550</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-60655-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-59140-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)907049461</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042432616</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">005.1</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">Goos, Gerhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Vorlesungen über Informatik</subfield><subfield code="b">Berechenbarkeit, formale Sprachen, Spezifikationen</subfield><subfield code="c">von Gerhard Goos</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 284S. 72 Abb)</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">Springer-Lehrbuch</subfield><subfield code="x">0937-7433</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures, Cryptology and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-59140-2</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-027867947</subfield></datafield></record></collection> |
| id | DE-604.BV042432616 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:30Z |
| institution | BVB |
| isbn | 9783642591402 9783540606550 |
| issn | 0937-7433 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027867947 |
| oclc_num | 907049461 |
| 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 (XII, 284S. 72 Abb) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Springer-Lehrbuch |
| spelling | Goos, Gerhard Verfasser aut Vorlesungen über Informatik Berechenbarkeit, formale Sprachen, Spezifikationen von Gerhard Goos Berlin, Heidelberg Springer Berlin Heidelberg 1997 1 Online-Ressource (XII, 284S. 72 Abb) txt rdacontent c rdamedia cr rdacarrier Springer-Lehrbuch 0937-7433 Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert Computer science Data structures (Computer science) Computer software Computer Science Algorithm Analysis and Problem Complexity Data Structures, Cryptology and Information Theory Informatik https://doi.org/10.1007/978-3-642-59140-2 Verlag Volltext |
| spellingShingle | Goos, Gerhard Vorlesungen über Informatik Berechenbarkeit, formale Sprachen, Spezifikationen Computer science Data structures (Computer science) Computer software Computer Science Algorithm Analysis and Problem Complexity Data Structures, Cryptology and Information Theory Informatik |
| title | Vorlesungen über Informatik Berechenbarkeit, formale Sprachen, Spezifikationen |
| title_auth | Vorlesungen über Informatik Berechenbarkeit, formale Sprachen, Spezifikationen |
| title_exact_search | Vorlesungen über Informatik Berechenbarkeit, formale Sprachen, Spezifikationen |
| title_full | Vorlesungen über Informatik Berechenbarkeit, formale Sprachen, Spezifikationen von Gerhard Goos |
| title_fullStr | Vorlesungen über Informatik Berechenbarkeit, formale Sprachen, Spezifikationen von Gerhard Goos |
| title_full_unstemmed | Vorlesungen über Informatik Berechenbarkeit, formale Sprachen, Spezifikationen von Gerhard Goos |
| title_short | Vorlesungen über Informatik |
| title_sort | vorlesungen uber informatik berechenbarkeit formale sprachen spezifikationen |
| title_sub | Berechenbarkeit, formale Sprachen, Spezifikationen |
| topic | Computer science Data structures (Computer science) Computer software Computer Science Algorithm Analysis and Problem Complexity Data Structures, Cryptology and Information Theory Informatik |
| topic_facet | Computer science Data structures (Computer science) Computer software Computer Science Algorithm Analysis and Problem Complexity Data Structures, Cryptology and Information Theory Informatik |
| url | https://doi.org/10.1007/978-3-642-59140-2 |
| work_keys_str_mv | AT goosgerhard vorlesungenuberinformatikberechenbarkeitformalesprachenspezifikationen |