Programs, recursion and unboundes choice: predicate-transformation semantics and transformation rules
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Press
1992
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
27. |
| Schlagworte: | |
| Beschreibung: | XII, 223 S. |
| ISBN: | 0521404363 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV006609356 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 930210s1992 |||| 00||| eng d | ||
| 020 | |a 0521404363 |9 0-521-40436-3 | ||
| 035 | |a (OCoLC)26339539 | ||
| 035 | |a (DE-599)BVBBV006609356 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ET 400 |0 (DE-625)27979: |2 rvk | ||
| 100 | 1 | |a Hesselink, Wim H. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Programs, recursion and unboundes choice |b predicate-transformation semantics and transformation rules |c Wim H. Hesselink |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |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 Programm |2 swd | |
| 650 | 7 | |a Programmation récursive |2 ram | |
| 650 | 7 | |a Prädikatenkalkül |2 swd | |
| 650 | 7 | |a Semantiek |2 gtt | |
| 650 | 7 | |a Semantik |2 swd | |
| 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 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 |
| 650 | 0 | 7 | |a Prädikatenkalkül |0 (DE-588)4175518-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Prädikatenkalkül |0 (DE-588)4175518-2 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | 2 | |a Programm |0 (DE-588)4047394-6 |D s |
| 689 | 0 | |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-004222522 | ||
Datensatz im Suchindex
| _version_ | 1804120884876673024 |
|---|---|
| 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 | BV006609356 |
| 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 | ET 400 |
| ctrlnum | (OCoLC)26339539 (DE-599)BVBBV006609356 |
| 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 Sprachwissenschaft Literaturwissenschaft |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02170nam a2200625 cb4500</leader><controlfield tag="001">BV006609356</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930210s1992 |||| 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)BVBBV006609356</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-739</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">ET 400</subfield><subfield code="0">(DE-625)27979:</subfield><subfield code="2">rvk</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 unboundes 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. Press</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">Programm</subfield><subfield code="2">swd</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">Prädikatenkalkül</subfield><subfield code="2">swd</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">Semantik</subfield><subfield code="2">swd</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">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="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="689" ind1="0" 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="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="2"><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=" "><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-004222522</subfield></datafield></record></collection> |
| id | DE-604.BV006609356 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:49:11Z |
| institution | BVB |
| isbn | 0521404363 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004222522 |
| oclc_num | 26339539 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XII, 223 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Cambridge Univ. Press |
| 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 unboundes choice predicate-transformation semantics and transformation rules Wim H. Hesselink 1. publ. Cambridge Cambridge Univ. Press 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 Programm swd Programmation récursive ram Prädikatenkalkül swd Semantiek gtt Semantik swd 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 Programm (DE-588)4047394-6 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Prädikatenkalkül (DE-588)4175518-2 gnd rswk-swf Prädikatenkalkül (DE-588)4175518-2 s Semantik (DE-588)4054490-4 s Programm (DE-588)4047394-6 s DE-604 Cambridge tracts in theoretical computer science 27. (DE-604)BV000754528 27 |
| spellingShingle | Hesselink, Wim H. Programs, recursion and unboundes 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 Programm swd Programmation récursive ram Prädikatenkalkül swd Semantiek gtt Semantik swd 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 Programm (DE-588)4047394-6 gnd Semantik (DE-588)4054490-4 gnd Prädikatenkalkül (DE-588)4175518-2 gnd |
| subject_GND | (DE-588)4047394-6 (DE-588)4054490-4 (DE-588)4175518-2 |
| title | Programs, recursion and unboundes choice predicate-transformation semantics and transformation rules |
| title_auth | Programs, recursion and unboundes choice predicate-transformation semantics and transformation rules |
| title_exact_search | Programs, recursion and unboundes choice predicate-transformation semantics and transformation rules |
| title_full | Programs, recursion and unboundes choice predicate-transformation semantics and transformation rules Wim H. Hesselink |
| title_fullStr | Programs, recursion and unboundes choice predicate-transformation semantics and transformation rules Wim H. Hesselink |
| title_full_unstemmed | Programs, recursion and unboundes choice predicate-transformation semantics and transformation rules Wim H. Hesselink |
| title_short | Programs, recursion and unboundes choice |
| title_sort | programs recursion and unboundes 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 Programm swd Programmation récursive ram Prädikatenkalkül swd Semantiek gtt Semantik swd 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 Programm (DE-588)4047394-6 gnd Semantik (DE-588)4054490-4 gnd Prädikatenkalkül (DE-588)4175518-2 gnd |
| topic_facet | Calcul des prédicats Fundamentele informatica Langages de programmation - Sémantique Mathematische programmering Programm Programmation récursive Prädikatenkalkül Semantiek Semantik calcul prédicat induction non déterminisme procédure récursive programme séquentiel sémantique programmation sémantique transformationnelle Computer programming |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT hesselinkwimh programsrecursionandunboundeschoicepredicatetransformationsemanticsandtransformationrules |