Semantik und Programmverifikation:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Stuttgart [u.a.]
Teubner
2001
|
| Ausgabe: | 1. Aufl. |
| Schriftenreihe: | Teubner-Texte zur Informatik
34 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 211 S. graph. Darst. |
| ISBN: | 3519003368 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV014024108 | ||
| 003 | DE-604 | ||
| 005 | 20120724 | ||
| 007 | t | ||
| 008 | 011120s2001 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 963040995 |2 DE-101 | |
| 020 | |a 3519003368 |9 3-519-00336-8 | ||
| 035 | |a (OCoLC)723032815 | ||
| 035 | |a (DE-599)BVBBV014024108 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-824 |a DE-29T |a DE-634 | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 100 | 1 | |a Walther, Christoph |d 1950- |e Verfasser |0 (DE-588)123321123 |4 aut | |
| 245 | 1 | 0 | |a Semantik und Programmverifikation |c Christoph Walther |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a Stuttgart [u.a.] |b Teubner |c 2001 | |
| 300 | |a 211 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Teubner-Texte zur Informatik |v 34 | |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |D s |
| 689 | 0 | 1 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 0 | 2 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Teubner-Texte zur Informatik |v 34 |w (DE-604)BV035418302 |9 34 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009603521&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009603521 | ||
Datensatz im Suchindex
| _version_ | 1804128883826491392 |
|---|---|
| adam_text | CHRISTOPH WALTHER SEMANTIK UND PROGRAMMVERIFIKATION TEUBNER B.G.TEUBNER
STUTTGART * LEIPZIG * WIESBADEN INHALTSVERZEICHNIS 1 FORMALE GRUNDLAGEN
9 1.1 SYNTAX DER PRAEDIKATENLOGIK /. STUFE 10 1.2 SEMANTIK DER SPRACHE 1.
STUFE 20 1.3 FUNDIERTE MENGEN 23 1.4 KONSTRUKTION FUNDIERTER MENGEN 31
1.5 KONFLUENTE RELATIONEN 36 2 FUNKTIONALE PROGRAMME 39 2.1 DIE
PROGRAMMIERSPRACHE JI? 41 2.2 OPERATIONALE SEMANTIK VON^UEP 48 2.3
DENOTATIONALE SEMANTIK VON^P 62 2.4 AEQUIVALENZ VON OPERATIONALER UND
DENOTATIONALER SEMANTIK .... 94 2.5 ERWEITERUNG VON^UEP UM
DATENSTRUKTUREN 105 2.6 ALTERNATIVEN DER PARAMETERUEBERGABE 119 2.7
ELIMINATION VON GEGENSEITIGER REKURSION 128 3 VERIFIKATIO N FUNKTIONALER
PROGRAMME 139 3.1 TERMINIERUNG FUNKTIONALER PROGRAMME 140 3.2 NORMAL-
UND TAIL-REKURSIVE FUNKTIONSPROZEDUREN 165 3.3 SPEZIFIKATION
FUNKTIONALER PROGRAMME 777 3.4 SEMANTIK DER SPEZIFIKATIONSSPRACHE 185
3.5 BEWEISE ZUR PARTIELLEN KORREKTHEIT 188 3.6 GRENZEN DER FORMALEN
VERIFIKATION 193 3.7 KORREKTHEITSBEWEISE DURCH INDUKTION 200
LITERATURVERZEICHNIS 208 SACHVERZEICHNIS 210
|
| any_adam_object | 1 |
| author | Walther, Christoph 1950- |
| author_GND | (DE-588)123321123 |
| author_facet | Walther, Christoph 1950- |
| author_role | aut |
| author_sort | Walther, Christoph 1950- |
| author_variant | c w cw |
| building | Verbundindex |
| bvnumber | BV014024108 |
| classification_rvk | ST 140 |
| ctrlnum | (OCoLC)723032815 (DE-599)BVBBV014024108 |
| discipline | Informatik |
| edition | 1. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01690nam a22004218cb4500</leader><controlfield tag="001">BV014024108</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120724 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">011120s2001 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">963040995</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519003368</subfield><subfield code="9">3-519-00336-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)723032815</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014024108</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">ger</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-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Walther, Christoph</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)123321123</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantik und Programmverifikation</subfield><subfield code="c">Christoph Walther</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart [u.a.]</subfield><subfield code="b">Teubner</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">211 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">Teubner-Texte zur Informatik</subfield><subfield code="v">34</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</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="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Teubner-Texte zur Informatik</subfield><subfield code="v">34</subfield><subfield code="w">(DE-604)BV035418302</subfield><subfield code="9">34</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009603521&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009603521</subfield></datafield></record></collection> |
| id | DE-604.BV014024108 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:56:19Z |
| institution | BVB |
| isbn | 3519003368 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009603521 |
| oclc_num | 723032815 |
| open_access_boolean | |
| owner | DE-739 DE-824 DE-29T DE-634 |
| owner_facet | DE-739 DE-824 DE-29T DE-634 |
| physical | 211 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Teubner |
| record_format | marc |
| series | Teubner-Texte zur Informatik |
| series2 | Teubner-Texte zur Informatik |
| spelling | Walther, Christoph 1950- Verfasser (DE-588)123321123 aut Semantik und Programmverifikation Christoph Walther 1. Aufl. Stuttgart [u.a.] Teubner 2001 211 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Teubner-Texte zur Informatik 34 Formale Semantik (DE-588)4122144-8 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Funktionale Programmiersprache (DE-588)4129948-6 gnd rswk-swf Funktionale Programmiersprache (DE-588)4129948-6 s Formale Semantik (DE-588)4122144-8 s Programmverifikation (DE-588)4135576-3 s DE-604 Teubner-Texte zur Informatik 34 (DE-604)BV035418302 34 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009603521&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Walther, Christoph 1950- Semantik und Programmverifikation Teubner-Texte zur Informatik Formale Semantik (DE-588)4122144-8 gnd Programmverifikation (DE-588)4135576-3 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd |
| subject_GND | (DE-588)4122144-8 (DE-588)4135576-3 (DE-588)4129948-6 |
| title | Semantik und Programmverifikation |
| title_auth | Semantik und Programmverifikation |
| title_exact_search | Semantik und Programmverifikation |
| title_full | Semantik und Programmverifikation Christoph Walther |
| title_fullStr | Semantik und Programmverifikation Christoph Walther |
| title_full_unstemmed | Semantik und Programmverifikation Christoph Walther |
| title_short | Semantik und Programmverifikation |
| title_sort | semantik und programmverifikation |
| topic | Formale Semantik (DE-588)4122144-8 gnd Programmverifikation (DE-588)4135576-3 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd |
| topic_facet | Formale Semantik Programmverifikation Funktionale Programmiersprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009603521&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035418302 |
| work_keys_str_mv | AT waltherchristoph semantikundprogrammverifikation |