Formal development of programs and proofs:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Reading, Mass. u.a.
Addison
1990
|
| Schriftenreihe: | The UT year of programming series
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIV, 242 S. Ill. |
| ISBN: | 0201172372 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003566292 | ||
| 003 | DE-604 | ||
| 005 | 19980805 | ||
| 007 | t | ||
| 008 | 900725s1990 a||| |||| 00||| eng d | ||
| 020 | |a 0201172372 |9 0-201-17237-2 | ||
| 035 | |a (OCoLC)19125494 | ||
| 035 | |a (DE-599)BVBBV003566292 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-91G |a DE-739 |a DE-20 |a DE-19 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.1 |2 19 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Formal development of programs and proofs |c ed. by Edsger W. Dijkstra |
| 264 | 1 | |a Reading, Mass. u.a. |b Addison |c 1990 | |
| 300 | |a XIV, 242 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a The UT year of programming series | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 7 | |a Programacao de computadores |2 larpcal | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Dijkstra, Edsger W. |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002269417&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002269417 | ||
Datensatz im Suchindex
| _version_ | 1804117916251062272 |
|---|---|
| adam_text | Contents Foreword.... ......................................................................... vii Preface................................................................................... x 1 Constructive Type Theory: A Perspective from Computing Science Roland C. Backhouse...................................................................... 1 2 The Maximum-Segment-Sum Problem David Gries...............33 3 Inorder Traversal of a Binary Tree and its Inversion David Gries and Jan L. A. van de Snepscheut........................................ 37 4 A Hands-in-the-Pocket Presentation of a k-Majority Vote Algorithm David Gries.................................................................. 43 5 A Small Problem on Rectangles A. J. M. van Gasteren...... 47
6 On the Formal Derivation of a Proof of the Invariance Theorem A. J. M. van Gasteren....................................................... 49 7 A Probierń on Bichrome 6-Graphs A. J. M. van Gasteren................................................................................ 55 8 Formal Program Transformations for VLSI Circuit Synthes is A. J ■ Martin.........................................................................59 9 Programs from Specifications Joseph M. Morris................. 81 10 Piecewise Data Refinement 11 Exercises in Formula Manipulation 12 Multiplication and Division of Polynomials Joseph M. Morris....................... 117 W. H. J. Feijen............139 Martin Rem...................................................................................................159 13 A Parallel Program that Generates the Möbius Sequence Martin Rem and 14 Том Verhoeff...............................................................171 Distribution and Inversion of Warshall’s Algorithm Jan L. A. van de Snepscheut.............................. 183 15 A Distributed Algorithm for Mutual Exclusion: An Experiment in Presentation Jan L. A. van de Snepscheut......195 16 The Derivation of a Proof by J. C. S. P. van der Woude Edsger W. Dijkstra.................................................................................... 201 17 Fillers at the YoP Institute 18 Influences (or Lack Thereof) of Formalism in Teaching Programming and Software Engineering David Gries.... 229 The Authors Edsger W. Dijkstra.................... 209 ................................ The Year of
Programming on Videotape 237 242
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV003566292 |
| 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 230 ST 233 |
| classification_tum | DAT 325f DAT 310f |
| ctrlnum | (OCoLC)19125494 (DE-599)BVBBV003566292 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01812nam a2200457 c 4500</leader><controlfield tag="001">BV003566292</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980805 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1990 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0201172372</subfield><subfield code="9">0-201-17237-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)19125494</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003566292</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-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</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.1</subfield><subfield code="2">19</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">ST 233</subfield><subfield code="0">(DE-625)143620:</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 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal development of programs and proofs</subfield><subfield code="c">ed. by Edsger W. Dijkstra</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Reading, Mass. u.a.</subfield><subfield code="b">Addison</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 242 S.</subfield><subfield code="b">Ill.</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="0" ind2=" "><subfield code="a">The UT year of programming series</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="700" ind1="1" ind2=" "><subfield code="a">Dijkstra, Edsger W.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</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=002269417&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-002269417</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Aufsatzsammlung Konferenzschrift |
| id | DE-604.BV003566292 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:02:00Z |
| institution | BVB |
| isbn | 0201172372 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002269417 |
| oclc_num | 19125494 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-739 DE-20 DE-19 DE-BY-UBM DE-83 DE-188 DE-11 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-739 DE-20 DE-19 DE-BY-UBM DE-83 DE-188 DE-11 |
| physical | XIV, 242 S. Ill. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Addison |
| record_format | marc |
| series2 | The UT year of programming series |
| spelling | Formal development of programs and proofs ed. by Edsger W. Dijkstra Reading, Mass. u.a. Addison 1990 XIV, 242 S. Ill. txt rdacontent n rdamedia nc rdacarrier The UT year of programming series Engenharia de programacao (software) larpcal Programacao de computadores larpcal Programmation (Informatique) - Congrès Computer programming Congresses Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Programmverifikation (DE-588)4135576-3 s DE-604 Dijkstra, Edsger W. Sonstige oth Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002269417&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal development of programs and proofs Engenharia de programacao (software) larpcal Programacao de computadores larpcal Programmation (Informatique) - Congrès Computer programming Congresses Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4135576-3 (DE-588)4143413-4 (DE-588)1071861417 |
| title | Formal development of programs and proofs |
| title_auth | Formal development of programs and proofs |
| title_exact_search | Formal development of programs and proofs |
| title_full | Formal development of programs and proofs ed. by Edsger W. Dijkstra |
| title_fullStr | Formal development of programs and proofs ed. by Edsger W. Dijkstra |
| title_full_unstemmed | Formal development of programs and proofs ed. by Edsger W. Dijkstra |
| title_short | Formal development of programs and proofs |
| title_sort | formal development of programs and proofs |
| topic | Engenharia de programacao (software) larpcal Programacao de computadores larpcal Programmation (Informatique) - Congrès Computer programming Congresses Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Engenharia de programacao (software) Programacao de computadores Programmation (Informatique) - Congrès Computer programming Congresses Programmverifikation Aufsatzsammlung Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002269417&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT dijkstraedsgerw formaldevelopmentofprogramsandproofs |