Programma-algebra, een inleiding tot de programmatuur /:
In dit boek wordt Programma-Algebra (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Vervolgens wordt PGA voorzien van een semantiek in termen van gedragsexpressies. PGA heeft één parameter, namelijk een verzameling basisinstructies (of '...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam :
Vossiuspers UvA,
©2003.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | In dit boek wordt Programma-Algebra (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Vervolgens wordt PGA voorzien van een semantiek in termen van gedragsexpressies. PGA heeft één parameter, namelijk een verzameling basisinstructies (of 'acties' in termen van gedrag). Deze simpele aanpak geeft aanleiding tot een kleine hiërarchie van sequentiële, imperatieve programmeertalen. Het leuke van PGA is dat het een kader biedt om de elementaire vraag wat is een programma te beantwoorden door middel van een eenvoudige en algemene constructie. PGA. |
| Beschreibung: | 1 online resource (96 pages) : illustrations |
| Bibliographie: | Includes bibliographical references (page 94) and index. |
| ISBN: | 9789056292799 905629279X |
Internformat
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn647791846 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 091007s2003 ne a ob 001 0 eng d | ||
| 040 | |a E7B |b eng |e pn |c E7B |d IDEBK |d OCLCQ |d N$T |d OCLCQ |d OCLCF |d YDXCP |d OCLCQ |d AGLDB |d OCLCQ |d VTS |d STF |d K6U |d VLY |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 9789056292799 |q (electronic bk.) | ||
| 020 | |a 905629279X |q (electronic bk.) | ||
| 020 | |z 9789048506903 | ||
| 035 | |a (OCoLC)647791846 | ||
| 050 | 4 | |a QA76.7 |b .B48 2003eb | |
| 072 | 7 | |a COM |x 051010 |2 bisacsh | |
| 082 | 7 | |a 005.13 |2 23 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Bethke, Ingemarie. | |
| 245 | 1 | 0 | |a Programma-algebra, een inleiding tot de programmatuur / |c Inge Bethke, Alban Ponse. |
| 260 | |a Amsterdam : |b Vossiuspers UvA, |c ©2003. | ||
| 300 | |a 1 online resource (96 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (page 94) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Voorwoord; Inhoudsopgave; 1. Inleiding; 2. PGA en instructierijen; 3. Gedragsexpressie voor Programma's met Inactie; 4. Programma's met Input/Output; 5. Programmeertalen: Projecties en Inbeddingen; 6. Moleculaire Dynamica; 7. Expressiviteit en Interpretatie; 8. Nawoord; Referenties; Index | |
| 520 | |a In dit boek wordt Programma-Algebra (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Vervolgens wordt PGA voorzien van een semantiek in termen van gedragsexpressies. PGA heeft één parameter, namelijk een verzameling basisinstructies (of 'acties' in termen van gedrag). Deze simpele aanpak geeft aanleiding tot een kleine hiërarchie van sequentiële, imperatieve programmeertalen. Het leuke van PGA is dat het een kader biedt om de elementaire vraag wat is een programma te beantwoorden door middel van een eenvoudige en algemene constructie. PGA. | ||
| 650 | 0 | |a Programming languages (Electronic computers) |0 http://id.loc.gov/authorities/subjects/sh85107313 | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x General. |2 bisacsh | |
| 650 | 7 | |a Programming languages (Electronic computers) |2 fast | |
| 700 | 1 | |a Ponse, A. |q (Alban), |d 1955- |1 https://id.oclc.org/worldcat/entity/E39PBJvd6bKrCm6xwdbvMjwXBP |0 http://id.loc.gov/authorities/names/n94102388 | |
| 758 | |i has work: |a Programma-algebra, een inleiding tot de programmatuur (Text) |1 https://id.oclc.org/worldcat/entity/E39PCH7ch9qbrwJPwMHg9wrpfq |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=403408 |3 Volltext |
| 938 | |a ebrary |b EBRY |n ebr10302498 | ||
| 938 | |a EBSCOhost |b EBSC |n 403408 | ||
| 938 | |a YBP Library Services |b YANK |n 7664099 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn647791846 |
|---|---|
| _version_ | 1816881727904153600 |
| adam_text | |
| any_adam_object | |
| author | Bethke, Ingemarie |
| author2 | Ponse, A. (Alban), 1955- |
| author2_role | |
| author2_variant | a p ap |
| author_GND | http://id.loc.gov/authorities/names/n94102388 |
| author_facet | Bethke, Ingemarie Ponse, A. (Alban), 1955- |
| author_role | |
| author_sort | Bethke, Ingemarie |
| author_variant | i b ib |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 .B48 2003eb |
| callnumber-search | QA76.7 .B48 2003eb |
| callnumber-sort | QA 276.7 B48 42003EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Voorwoord; Inhoudsopgave; 1. Inleiding; 2. PGA en instructierijen; 3. Gedragsexpressie voor Programma's met Inactie; 4. Programma's met Input/Output; 5. Programmeertalen: Projecties en Inbeddingen; 6. Moleculaire Dynamica; 7. Expressiviteit en Interpretatie; 8. Nawoord; Referenties; Index |
| ctrlnum | (OCoLC)647791846 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02906cam a2200457Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn647791846</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">091007s2003 ne a ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">E7B</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">E7B</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">STF</subfield><subfield code="d">K6U</subfield><subfield code="d">VLY</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789056292799</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">905629279X</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789048506903</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)647791846</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.7</subfield><subfield code="b">.B48 2003eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051010</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bethke, Ingemarie.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programma-algebra, een inleiding tot de programmatuur /</subfield><subfield code="c">Inge Bethke, Alban Ponse.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam :</subfield><subfield code="b">Vossiuspers UvA,</subfield><subfield code="c">©2003.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (96 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (page 94) and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Voorwoord; Inhoudsopgave; 1. Inleiding; 2. PGA en instructierijen; 3. Gedragsexpressie voor Programma's met Inactie; 4. Programma's met Input/Output; 5. Programmeertalen: Projecties en Inbeddingen; 6. Moleculaire Dynamica; 7. Expressiviteit en Interpretatie; 8. Nawoord; Referenties; Index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">In dit boek wordt Programma-Algebra (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Vervolgens wordt PGA voorzien van een semantiek in termen van gedragsexpressies. PGA heeft één parameter, namelijk een verzameling basisinstructies (of 'acties' in termen van gedrag). Deze simpele aanpak geeft aanleiding tot een kleine hiërarchie van sequentiële, imperatieve programmeertalen. Het leuke van PGA is dat het een kader biedt om de elementaire vraag wat is een programma te beantwoorden door middel van een eenvoudige en algemene constructie. PGA.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107313</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming Languages</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ponse, A.</subfield><subfield code="q">(Alban),</subfield><subfield code="d">1955-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJvd6bKrCm6xwdbvMjwXBP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n94102388</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Programma-algebra, een inleiding tot de programmatuur (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCH7ch9qbrwJPwMHg9wrpfq</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=403408</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10302498</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">403408</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">7664099</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn647791846 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:17:19Z |
| institution | BVB |
| isbn | 9789056292799 905629279X |
| language | English |
| oclc_num | 647791846 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (96 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Vossiuspers UvA, |
| record_format | marc |
| spelling | Bethke, Ingemarie. Programma-algebra, een inleiding tot de programmatuur / Inge Bethke, Alban Ponse. Amsterdam : Vossiuspers UvA, ©2003. 1 online resource (96 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references (page 94) and index. Print version record. Voorwoord; Inhoudsopgave; 1. Inleiding; 2. PGA en instructierijen; 3. Gedragsexpressie voor Programma's met Inactie; 4. Programma's met Input/Output; 5. Programmeertalen: Projecties en Inbeddingen; 6. Moleculaire Dynamica; 7. Expressiviteit en Interpretatie; 8. Nawoord; Referenties; Index In dit boek wordt Programma-Algebra (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Vervolgens wordt PGA voorzien van een semantiek in termen van gedragsexpressies. PGA heeft één parameter, namelijk een verzameling basisinstructies (of 'acties' in termen van gedrag). Deze simpele aanpak geeft aanleiding tot een kleine hiërarchie van sequentiële, imperatieve programmeertalen. Het leuke van PGA is dat het een kader biedt om de elementaire vraag wat is een programma te beantwoorden door middel van een eenvoudige en algemene constructie. PGA. Programming languages (Electronic computers) http://id.loc.gov/authorities/subjects/sh85107313 COMPUTERS Programming Languages General. bisacsh Programming languages (Electronic computers) fast Ponse, A. (Alban), 1955- https://id.oclc.org/worldcat/entity/E39PBJvd6bKrCm6xwdbvMjwXBP http://id.loc.gov/authorities/names/n94102388 has work: Programma-algebra, een inleiding tot de programmatuur (Text) https://id.oclc.org/worldcat/entity/E39PCH7ch9qbrwJPwMHg9wrpfq https://id.oclc.org/worldcat/ontology/hasWork FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=403408 Volltext |
| spellingShingle | Bethke, Ingemarie Programma-algebra, een inleiding tot de programmatuur / Voorwoord; Inhoudsopgave; 1. Inleiding; 2. PGA en instructierijen; 3. Gedragsexpressie voor Programma's met Inactie; 4. Programma's met Input/Output; 5. Programmeertalen: Projecties en Inbeddingen; 6. Moleculaire Dynamica; 7. Expressiviteit en Interpretatie; 8. Nawoord; Referenties; Index Programming languages (Electronic computers) http://id.loc.gov/authorities/subjects/sh85107313 COMPUTERS Programming Languages General. bisacsh Programming languages (Electronic computers) fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85107313 |
| title | Programma-algebra, een inleiding tot de programmatuur / |
| title_auth | Programma-algebra, een inleiding tot de programmatuur / |
| title_exact_search | Programma-algebra, een inleiding tot de programmatuur / |
| title_full | Programma-algebra, een inleiding tot de programmatuur / Inge Bethke, Alban Ponse. |
| title_fullStr | Programma-algebra, een inleiding tot de programmatuur / Inge Bethke, Alban Ponse. |
| title_full_unstemmed | Programma-algebra, een inleiding tot de programmatuur / Inge Bethke, Alban Ponse. |
| title_short | Programma-algebra, een inleiding tot de programmatuur / |
| title_sort | programma algebra een inleiding tot de programmatuur |
| topic | Programming languages (Electronic computers) http://id.loc.gov/authorities/subjects/sh85107313 COMPUTERS Programming Languages General. bisacsh Programming languages (Electronic computers) fast |
| topic_facet | Programming languages (Electronic computers) COMPUTERS Programming Languages General. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=403408 |
| work_keys_str_mv | AT bethkeingemarie programmaalgebraeeninleidingtotdeprogrammatuur AT ponsea programmaalgebraeeninleidingtotdeprogrammatuur |