Programmverifikation: Sequentielle, parallele und verteilte Programme
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1994
|
| Schriftenreihe: | Springer-Lehrbuch
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Dieses Buch bietet als erstes Lehrbuch eine systematische Einführung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation über Botschaftenaustausch behandelt. Für jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein größeres Verifikationsbeispiel vorgestellt. Insbesondere werden Programme zur Lösung der klassischen Probleme Erzeuger-Verbraucher, wechselweiser Ausschluß und verteilte Terminierung diskutiert und verifiziert. Eine Besonderheit desBuches ist die einheitliche Behandlung von Fairneß-Annahmen und die Benutzung von Programmtransformationen. Das Buch eignet sich für ein- oder zweisemestrige Vorlesungen über Programmverifikation. Die Kapitel sind einheitlich strukturiert und enthalten eine Reihe von Übungsaufgaben und bibliographischen Hinweisen. Das Buch führt auch an aktuelle Themen der Forschung heran |
| Beschreibung: | 1 Online-Ressource (XII, 258S.) |
| ISBN: | 9783642579479 9783540574798 |
| ISSN: | 0937-7433 |
| DOI: | 10.1007/978-3-642-57947-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042432508 | ||
| 003 | DE-604 | ||
| 005 | 20170821 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1994 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642579479 |c Online |9 978-3-642-57947-9 | ||
| 020 | |a 9783540574798 |c Print |9 978-3-540-57479-8 | ||
| 024 | 7 | |a 10.1007/978-3-642-57947-9 |2 doi | |
| 035 | |a (OCoLC)725341232 | ||
| 035 | |a (DE-599)BVBBV042432508 | ||
| 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.1015113 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Apt, Krzysztof R. |d 1949- |e Verfasser |0 (DE-588)110139763 |4 aut | |
| 245 | 1 | 0 | |a Programmverifikation |b Sequentielle, parallele und verteilte Programme |c von Krzysztof R. Apt, Ernst-Rüdiger Olderog |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1994 | |
| 300 | |a 1 Online-Ressource (XII, 258S.) | ||
| 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 Buch bietet als erstes Lehrbuch eine systematische Einführung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation über Botschaftenaustausch behandelt. Für jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein größeres Verifikationsbeispiel vorgestellt. Insbesondere werden Programme zur Lösung der klassischen Probleme Erzeuger-Verbraucher, wechselweiser Ausschluß und verteilte Terminierung diskutiert und verifiziert. Eine Besonderheit desBuches ist die einheitliche Behandlung von Fairneß-Annahmen und die Benutzung von Programmtransformationen. Das Buch eignet sich für ein- oder zweisemestrige Vorlesungen über Programmverifikation. Die Kapitel sind einheitlich strukturiert und enthalten eine Reihe von Übungsaufgaben und bibliographischen Hinweisen. Das Buch führt auch an aktuelle Themen der Forschung heran | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Microprogramming | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Control Structures and Microprogramming | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Olderog, Ernst-Rüdiger |d 1955- |e Sonstige |0 (DE-588)136626890 |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-57947-9 |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-027867839 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153116794290176 |
|---|---|
| any_adam_object | |
| author | Apt, Krzysztof R. 1949- |
| author_GND | (DE-588)110139763 (DE-588)136626890 |
| author_facet | Apt, Krzysztof R. 1949- |
| author_role | aut |
| author_sort | Apt, Krzysztof R. 1949- |
| author_variant | k r a kr kra |
| building | Verbundindex |
| bvnumber | BV042432508 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)725341232 (DE-599)BVBBV042432508 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-57947-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03286nmm a2200577zc 4500</leader><controlfield tag="001">BV042432508</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170821 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1994 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642579479</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-57947-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540574798</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-57479-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-57947-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725341232</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042432508</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.1015113</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">Apt, Krzysztof R.</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110139763</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="b">Sequentielle, parallele und verteilte Programme</subfield><subfield code="c">von Krzysztof R. Apt, Ernst-Rüdiger Olderog</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 258S.)</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 Buch bietet als erstes Lehrbuch eine systematische Einführung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation über Botschaftenaustausch behandelt. Für jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein größeres Verifikationsbeispiel vorgestellt. Insbesondere werden Programme zur Lösung der klassischen Probleme Erzeuger-Verbraucher, wechselweiser Ausschluß und verteilte Terminierung diskutiert und verifiziert. Eine Besonderheit desBuches ist die einheitliche Behandlung von Fairneß-Annahmen und die Benutzung von Programmtransformationen. Das Buch eignet sich für ein- oder zweisemestrige Vorlesungen über Programmverifikation. Die Kapitel sind einheitlich strukturiert und enthalten eine Reihe von Übungsaufgaben und bibliographischen Hinweisen. Das Buch führt auch an aktuelle Themen der Forschung heran</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprogramming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control Structures and Microprogramming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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="689" ind1="0" 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="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Olderog, Ernst-Rüdiger</subfield><subfield code="d">1955-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)136626890</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-57947-9</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-027867839</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></record></collection> |
| id | DE-604.BV042432508 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:30Z |
| institution | BVB |
| isbn | 9783642579479 9783540574798 |
| issn | 0937-7433 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027867839 |
| oclc_num | 725341232 |
| 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, 258S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Springer-Lehrbuch |
| spelling | Apt, Krzysztof R. 1949- Verfasser (DE-588)110139763 aut Programmverifikation Sequentielle, parallele und verteilte Programme von Krzysztof R. Apt, Ernst-Rüdiger Olderog Berlin, Heidelberg Springer Berlin Heidelberg 1994 1 Online-Ressource (XII, 258S.) txt rdacontent c rdamedia cr rdacarrier Springer-Lehrbuch 0937-7433 Dieses Buch bietet als erstes Lehrbuch eine systematische Einführung in die Programmverifikation. Sequentielle, parallele und verteilte Programme werdenin einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nichtdeterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation über Botschaftenaustausch behandelt. Für jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein größeres Verifikationsbeispiel vorgestellt. Insbesondere werden Programme zur Lösung der klassischen Probleme Erzeuger-Verbraucher, wechselweiser Ausschluß und verteilte Terminierung diskutiert und verifiziert. Eine Besonderheit desBuches ist die einheitliche Behandlung von Fairneß-Annahmen und die Benutzung von Programmtransformationen. Das Buch eignet sich für ein- oder zweisemestrige Vorlesungen über Programmverifikation. Die Kapitel sind einheitlich strukturiert und enthalten eine Reihe von Übungsaufgaben und bibliographischen Hinweisen. Das Buch führt auch an aktuelle Themen der Forschung heran Computer science Microprogramming Logic design Logic, Symbolic and mathematical Computer Science Logics and Meanings of Programs Programming Techniques Control Structures and Microprogramming Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmverifikation (DE-588)4135576-3 s 1\p DE-604 Olderog, Ernst-Rüdiger 1955- Sonstige (DE-588)136626890 oth https://doi.org/10.1007/978-3-642-57947-9 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Apt, Krzysztof R. 1949- Programmverifikation Sequentielle, parallele und verteilte Programme Computer science Microprogramming Logic design Logic, Symbolic and mathematical Computer Science Logics and Meanings of Programs Programming Techniques Control Structures and Microprogramming Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4135576-3 |
| title | Programmverifikation Sequentielle, parallele und verteilte Programme |
| title_auth | Programmverifikation Sequentielle, parallele und verteilte Programme |
| title_exact_search | Programmverifikation Sequentielle, parallele und verteilte Programme |
| title_full | Programmverifikation Sequentielle, parallele und verteilte Programme von Krzysztof R. Apt, Ernst-Rüdiger Olderog |
| title_fullStr | Programmverifikation Sequentielle, parallele und verteilte Programme von Krzysztof R. Apt, Ernst-Rüdiger Olderog |
| title_full_unstemmed | Programmverifikation Sequentielle, parallele und verteilte Programme von Krzysztof R. Apt, Ernst-Rüdiger Olderog |
| title_short | Programmverifikation |
| title_sort | programmverifikation sequentielle parallele und verteilte programme |
| title_sub | Sequentielle, parallele und verteilte Programme |
| topic | Computer science Microprogramming Logic design Logic, Symbolic and mathematical Computer Science Logics and Meanings of Programs Programming Techniques Control Structures and Microprogramming Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Computer science Microprogramming Logic design Logic, Symbolic and mathematical Computer Science Logics and Meanings of Programs Programming Techniques Control Structures and Microprogramming Mathematical Logic and Formal Languages Mathematical Logic and Foundations Informatik Programmverifikation |
| url | https://doi.org/10.1007/978-3-642-57947-9 |
| work_keys_str_mv | AT aptkrzysztofr programmverifikationsequentielleparalleleundverteilteprogramme AT olderogernstrudiger programmverifikationsequentielleparalleleundverteilteprogramme |