Programs, recursion and unbounded choice: predicate-transformation semantics and transformation rules
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge
Cambridge Univ. Pr.
1992
|
| Edition: | 1. publ. |
| Series: | Cambridge tracts in theoretical computer science
27 |
| Subjects: | |
| Physical Description: | XII, 223 S. |
| ISBN: | 0521404363 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005595851 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 921019s1992 |||| 00||| eng d | ||
| 020 | |a 0521404363 |9 0-521-40436-3 | ||
| 035 | |a (OCoLC)26339539 | ||
| 035 | |a (DE-599)BVBBV005595851 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-355 |a DE-29T |a DE-91G | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a DAT 335f |2 stub | ||
| 100 | 1 | |a Hesselink, Wim H. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Programs, recursion and unbounded choice |b predicate-transformation semantics and transformation rules |c Wim H. Hesselink |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Pr. |c 1992 | |
| 300 | |a XII, 223 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 27 | |
| 650 | 7 | |a Calcul des prédicats |2 ram | |
| 650 | 7 | |a Fundamentele informatica |2 gtt | |
| 650 | 7 | |a Langages de programmation - Sémantique |2 ram | |
| 650 | 7 | |a Mathematische programmering |2 gtt | |
| 650 | 7 | |a Programmation récursive |2 ram | |
| 650 | 7 | |a Semantiek |2 gtt | |
| 650 | 7 | |a calcul prédicat |2 inriac | |
| 650 | 7 | |a induction |2 inriac | |
| 650 | 7 | |a non déterminisme |2 inriac | |
| 650 | 7 | |a procédure récursive |2 inriac | |
| 650 | 7 | |a programme séquentiel |2 inriac | |
| 650 | 7 | |a sémantique programmation |2 inriac | |
| 650 | 7 | |a sémantique transformationnelle |2 inriac | |
| 650 | 4 | |a Semantik | |
| 650 | 4 | |a Computer programming | |
| 650 | 0 | 7 | |a Prädikatenkalkül |0 (DE-588)4175518-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programm |0 (DE-588)4047394-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programm |0 (DE-588)4047394-6 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Prädikatenkalkül |0 (DE-588)4175518-2 |D s |
| 689 | 1 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 1 | 2 | |a Programm |0 (DE-588)4047394-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 27 |w (DE-604)BV000754528 |9 27 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003505480 | ||
Record in the Search Index
| _version_ | 1804119809772748800 |
|---|---|
| any_adam_object | |
| author | Hesselink, Wim H. |
| author_facet | Hesselink, Wim H. |
| author_role | aut |
| author_sort | Hesselink, Wim H. |
| author_variant | w h h wh whh |
| building | Verbundindex |
| bvnumber | BV005595851 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 140 ST 230 |
| classification_tum | DAT 325f DAT 335f |
| ctrlnum | (OCoLC)26339539 (DE-599)BVBBV005595851 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02360nam a2200673 cb4500</leader><controlfield tag="001">BV005595851</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921019s1992 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521404363</subfield><subfield code="9">0-521-40436-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26339539</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005595851</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="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</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="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hesselink, Wim H.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programs, recursion and unbounded choice</subfield><subfield code="b">predicate-transformation semantics and transformation rules</subfield><subfield code="c">Wim H. Hesselink</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Pr.</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 223 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">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">Cambridge tracts in theoretical computer science</subfield><subfield code="v">27</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Calcul des prédicats</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fundamentele informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Sémantique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematische programmering</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation récursive</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul prédicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">induction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">non déterminisme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">procédure récursive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programme séquentiel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique transformationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenkalkül</subfield><subfield code="0">(DE-588)4175518-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Prädikatenkalkül</subfield><subfield code="0">(DE-588)4175518-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Programm</subfield><subfield code="0">(DE-588)4047394-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">27</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">27</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003505480</subfield></datafield></record></collection> |
| id | DE-604.BV005595851 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:32:06Z |
| institution | BVB |
| isbn | 0521404363 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003505480 |
| oclc_num | 26339539 |
| open_access_boolean | |
| owner | DE-384 DE-355 DE-BY-UBR DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-384 DE-355 DE-BY-UBR DE-29T DE-91G DE-BY-TUM |
| physical | XII, 223 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Cambridge Univ. Pr. |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Hesselink, Wim H. Verfasser aut Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules Wim H. Hesselink 1. publ. Cambridge Cambridge Univ. Pr. 1992 XII, 223 S. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 27 Calcul des prédicats ram Fundamentele informatica gtt Langages de programmation - Sémantique ram Mathematische programmering gtt Programmation récursive ram Semantiek gtt calcul prédicat inriac induction inriac non déterminisme inriac procédure récursive inriac programme séquentiel inriac sémantique programmation inriac sémantique transformationnelle inriac Semantik Computer programming Prädikatenkalkül (DE-588)4175518-2 gnd rswk-swf Programm (DE-588)4047394-6 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Programm (DE-588)4047394-6 s Semantik (DE-588)4054490-4 s DE-604 Prädikatenkalkül (DE-588)4175518-2 s Cambridge tracts in theoretical computer science 27 (DE-604)BV000754528 27 |
| spellingShingle | Hesselink, Wim H. Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules Cambridge tracts in theoretical computer science Calcul des prédicats ram Fundamentele informatica gtt Langages de programmation - Sémantique ram Mathematische programmering gtt Programmation récursive ram Semantiek gtt calcul prédicat inriac induction inriac non déterminisme inriac procédure récursive inriac programme séquentiel inriac sémantique programmation inriac sémantique transformationnelle inriac Semantik Computer programming Prädikatenkalkül (DE-588)4175518-2 gnd Programm (DE-588)4047394-6 gnd Semantik (DE-588)4054490-4 gnd |
| subject_GND | (DE-588)4175518-2 (DE-588)4047394-6 (DE-588)4054490-4 |
| title | Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules |
| title_auth | Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules |
| title_exact_search | Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules |
| title_full | Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules Wim H. Hesselink |
| title_fullStr | Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules Wim H. Hesselink |
| title_full_unstemmed | Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules Wim H. Hesselink |
| title_short | Programs, recursion and unbounded choice |
| title_sort | programs recursion and unbounded choice predicate transformation semantics and transformation rules |
| title_sub | predicate-transformation semantics and transformation rules |
| topic | Calcul des prédicats ram Fundamentele informatica gtt Langages de programmation - Sémantique ram Mathematische programmering gtt Programmation récursive ram Semantiek gtt calcul prédicat inriac induction inriac non déterminisme inriac procédure récursive inriac programme séquentiel inriac sémantique programmation inriac sémantique transformationnelle inriac Semantik Computer programming Prädikatenkalkül (DE-588)4175518-2 gnd Programm (DE-588)4047394-6 gnd Semantik (DE-588)4054490-4 gnd |
| topic_facet | Calcul des prédicats Fundamentele informatica Langages de programmation - Sémantique Mathematische programmering Programmation récursive Semantiek calcul prédicat induction non déterminisme procédure récursive programme séquentiel sémantique programmation sémantique transformationnelle Semantik Computer programming Prädikatenkalkül Programm |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT hesselinkwimh programsrecursionandunboundedchoicepredicatetransformationsemanticsandtransformationrules |