An introduction to programming with specifications: a mathematical approach
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London
Academic Press
©1991
|
| Schriftenreihe: | A.P.I.C. studies in data processing
no. 35 |
| Schlagworte: | |
| Online-Zugang: | FAW01 Volltext |
| Beschreibung: | Includes bibliographical references and index A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification--a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication and may be used as an introduction to the mathematics of programming. Provides an introduction to the functional approach to programming**Emphasizes the problem to be solved, not the programming language**Takes the view that all computer programs are a definition of a function**Includes exercises for each chapter**Can be used as a pre-programming language introduction to the mathematics of computing |
| Beschreibung: | 1 Online-Ressource (ix, 267 pages) |
| ISBN: | 0124276202 9780124276208 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042312190 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1991 |||| o||u| ||||||eng d | ||
| 020 | |a 0124276202 |9 0-12-427620-2 | ||
| 020 | |a 9780124276208 |9 978-0-12-427620-8 | ||
| 035 | |a (OCoLC)551371965 | ||
| 035 | |a (DE-599)BVBBV042312190 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 005.1/2 |2 20 | |
| 100 | 1 | |a Kubiak, Ryszard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a An introduction to programming with specifications |b a mathematical approach |c Ryszard Kubiak, Roman Rudziński, Stefan Sokołowski |
| 264 | 1 | |a London |b Academic Press |c ©1991 | |
| 300 | |a 1 Online-Ressource (ix, 267 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a A.P.I.C. studies in data processing |v no. 35 | |
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification--a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication and may be used as an introduction to the mathematics of programming. Provides an introduction to the functional approach to programming**Emphasizes the problem to be solved, not the programming language**Takes the view that all computer programs are a definition of a function**Includes exercises for each chapter**Can be used as a pre-programming language introduction to the mathematics of computing | ||
| 650 | 4 | |a Programming | |
| 650 | 4 | |a induction | |
| 650 | 4 | |a spécification | |
| 650 | 4 | |a itération | |
| 650 | 4 | |a récursion | |
| 650 | 4 | |a spécification formelle | |
| 650 | 4 | |a programmation | |
| 650 | 7 | |a Programmation (mathématiques) |2 ram | |
| 650 | 7 | |a Ordinateurs / Programmation |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Softwarespezifikation |2 swd | |
| 650 | 7 | |a Computer programming |2 fast | |
| 650 | 7 | |a Programming (Mathematics) |2 fast | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Programming (Mathematics) | |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Rudziński, Roman |e Sonstige |4 oth | |
| 700 | 1 | |a Sokołowski, S. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780124276208 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027749181 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780124276208 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804152902643613696 |
|---|---|
| any_adam_object | |
| author | Kubiak, Ryszard |
| author_facet | Kubiak, Ryszard |
| author_role | aut |
| author_sort | Kubiak, Ryszard |
| author_variant | r k rk |
| building | Verbundindex |
| bvnumber | BV042312190 |
| collection | ZDB-33-ESD |
| ctrlnum | (OCoLC)551371965 (DE-599)BVBBV042312190 |
| dewey-full | 005.1/2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/2 |
| dewey-search | 005.1/2 |
| dewey-sort | 15.1 12 |
| 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>02996nmm a2200601zcb4500</leader><controlfield tag="001">BV042312190</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1991 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0124276202</subfield><subfield code="9">0-12-427620-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780124276208</subfield><subfield code="9">978-0-12-427620-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)551371965</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042312190</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/2</subfield><subfield code="2">20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kubiak, Ryszard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An introduction to programming with specifications</subfield><subfield code="b">a mathematical approach</subfield><subfield code="c">Ryszard Kubiak, Roman Rudziński, Stefan Sokołowski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Academic Press</subfield><subfield code="c">©1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 267 pages)</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">A.P.I.C. studies in data processing</subfield><subfield code="v">no. 35</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification--a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication and may be used as an introduction to the mathematics of programming. Provides an introduction to the functional approach to programming**Emphasizes the problem to be solved, not the programming language**Takes the view that all computer programs are a definition of a function**Includes exercises for each chapter**Can be used as a pre-programming language introduction to the mathematics of computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">induction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">spécification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">itération</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">récursion</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">spécification formelle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">programmation</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation (mathématiques)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs / Programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programming (Mathematics)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming (Mathematics)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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">Rudziński, Roman</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sokołowski, S.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780124276208</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027749181</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780124276208</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV042312190 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:06Z |
| institution | BVB |
| isbn | 0124276202 9780124276208 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027749181 |
| oclc_num | 551371965 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (ix, 267 pages) |
| psigel | ZDB-33-ESD ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Academic Press |
| record_format | marc |
| series2 | A.P.I.C. studies in data processing |
| spelling | Kubiak, Ryszard Verfasser aut An introduction to programming with specifications a mathematical approach Ryszard Kubiak, Roman Rudziński, Stefan Sokołowski London Academic Press ©1991 1 Online-Ressource (ix, 267 pages) txt rdacontent c rdamedia cr rdacarrier A.P.I.C. studies in data processing no. 35 Includes bibliographical references and index A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification--a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication and may be used as an introduction to the mathematics of programming. Provides an introduction to the functional approach to programming**Emphasizes the problem to be solved, not the programming language**Takes the view that all computer programs are a definition of a function**Includes exercises for each chapter**Can be used as a pre-programming language introduction to the mathematics of computing Programming induction spécification itération récursion spécification formelle programmation Programmation (mathématiques) ram Ordinateurs / Programmation ram Logique symbolique et mathématique ram Softwarespezifikation swd Computer programming fast Programming (Mathematics) fast Computer programming Programming (Mathematics) Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 s 1\p DE-604 Rudziński, Roman Sonstige oth Sokołowski, S. Sonstige oth http://www.sciencedirect.com/science/book/9780124276208 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Kubiak, Ryszard An introduction to programming with specifications a mathematical approach Programming induction spécification itération récursion spécification formelle programmation Programmation (mathématiques) ram Ordinateurs / Programmation ram Logique symbolique et mathématique ram Softwarespezifikation swd Computer programming fast Programming (Mathematics) fast Computer programming Programming (Mathematics) Softwarespezifikation (DE-588)4056186-0 gnd |
| subject_GND | (DE-588)4056186-0 |
| title | An introduction to programming with specifications a mathematical approach |
| title_auth | An introduction to programming with specifications a mathematical approach |
| title_exact_search | An introduction to programming with specifications a mathematical approach |
| title_full | An introduction to programming with specifications a mathematical approach Ryszard Kubiak, Roman Rudziński, Stefan Sokołowski |
| title_fullStr | An introduction to programming with specifications a mathematical approach Ryszard Kubiak, Roman Rudziński, Stefan Sokołowski |
| title_full_unstemmed | An introduction to programming with specifications a mathematical approach Ryszard Kubiak, Roman Rudziński, Stefan Sokołowski |
| title_short | An introduction to programming with specifications |
| title_sort | an introduction to programming with specifications a mathematical approach |
| title_sub | a mathematical approach |
| topic | Programming induction spécification itération récursion spécification formelle programmation Programmation (mathématiques) ram Ordinateurs / Programmation ram Logique symbolique et mathématique ram Softwarespezifikation swd Computer programming fast Programming (Mathematics) fast Computer programming Programming (Mathematics) Softwarespezifikation (DE-588)4056186-0 gnd |
| topic_facet | Programming induction spécification itération récursion spécification formelle programmation Programmation (mathématiques) Ordinateurs / Programmation Logique symbolique et mathématique Softwarespezifikation Computer programming Programming (Mathematics) |
| url | http://www.sciencedirect.com/science/book/9780124276208 |
| work_keys_str_mv | AT kubiakryszard anintroductiontoprogrammingwithspecificationsamathematicalapproach AT rudzinskiroman anintroductiontoprogrammingwithspecificationsamathematicalapproach AT sokołowskis anintroductiontoprogrammingwithspecificationsamathematicalapproach |