On the Refinement Calculus:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London
Springer London
1992
|
| Schriftenreihe: | Formal Approaches to Computing and Information Technology (FACIT)
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus |
| Beschreibung: | 1 Online-Ressource (XI, 159p) |
| ISBN: | 9781447132738 9783540199311 |
| DOI: | 10.1007/978-1-4471-3273-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042419374 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1992 |||| o||u| ||||||eng d | ||
| 020 | |a 9781447132738 |c Online |9 978-1-4471-3273-8 | ||
| 020 | |a 9783540199311 |c Print |9 978-3-540-19931-1 | ||
| 024 | 7 | |a 10.1007/978-1-4471-3273-8 |2 doi | |
| 035 | |a (OCoLC)1165541625 | ||
| 035 | |a (DE-599)BVBBV042419374 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 515 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Morgan, Carroll |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a On the Refinement Calculus |c edited by Carroll Morgan, Trevor Vickers |
| 264 | 1 | |a London |b Springer London |c 1992 | |
| 300 | |a 1 Online-Ressource (XI, 159p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Formal Approaches to Computing and Information Technology (FACIT) | |
| 500 | |a On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Global analysis (Mathematics) | |
| 650 | 4 | |a Analysis | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verfeinerung |0 (DE-588)4267759-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Verfeinerung |0 (DE-588)4267759-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Vickers, Trevor |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4471-3273-8 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027854791 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153089923481600 |
|---|---|
| any_adam_object | |
| author | Morgan, Carroll |
| author_facet | Morgan, Carroll |
| author_role | aut |
| author_sort | Morgan, Carroll |
| author_variant | c m cm |
| building | Verbundindex |
| bvnumber | BV042419374 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1165541625 (DE-599)BVBBV042419374 |
| dewey-full | 515 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 515 - Analysis |
| dewey-raw | 515 |
| dewey-search | 515 |
| dewey-sort | 3515 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-1-4471-3273-8 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02152nmm a2200529zc 4500</leader><controlfield tag="001">BV042419374</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1992 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447132738</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4471-3273-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540199311</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-19931-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4471-3273-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1165541625</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042419374</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-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">515</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Morgan, Carroll</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On the Refinement Calculus</subfield><subfield code="c">edited by Carroll Morgan, Trevor Vickers</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer London</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 159p)</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">Formal Approaches to Computing and Information Technology (FACIT)</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Global analysis (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</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">Vickers, Trevor</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4471-3273-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027854791</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></record></collection> |
| id | DE-604.BV042419374 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:04Z |
| institution | BVB |
| isbn | 9781447132738 9783540199311 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027854791 |
| oclc_num | 1165541625 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XI, 159p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Springer London |
| record_format | marc |
| series2 | Formal Approaches to Computing and Information Technology (FACIT) |
| spelling | Morgan, Carroll Verfasser aut On the Refinement Calculus edited by Carroll Morgan, Trevor Vickers London Springer London 1992 1 Online-Ressource (XI, 159p) txt rdacontent c rdamedia cr rdacarrier Formal Approaches to Computing and Information Technology (FACIT) On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus Mathematics Computer science Global analysis (Mathematics) Analysis Computer Science, general Informatik Mathematik Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Verfeinerung (DE-588)4267759-2 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 s Verfeinerung (DE-588)4267759-2 s 1\p DE-604 Vickers, Trevor Sonstige oth https://doi.org/10.1007/978-1-4471-3273-8 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Morgan, Carroll On the Refinement Calculus Mathematics Computer science Global analysis (Mathematics) Analysis Computer Science, general Informatik Mathematik Softwareentwicklung (DE-588)4116522-6 gnd Verfeinerung (DE-588)4267759-2 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4267759-2 |
| title | On the Refinement Calculus |
| title_auth | On the Refinement Calculus |
| title_exact_search | On the Refinement Calculus |
| title_full | On the Refinement Calculus edited by Carroll Morgan, Trevor Vickers |
| title_fullStr | On the Refinement Calculus edited by Carroll Morgan, Trevor Vickers |
| title_full_unstemmed | On the Refinement Calculus edited by Carroll Morgan, Trevor Vickers |
| title_short | On the Refinement Calculus |
| title_sort | on the refinement calculus |
| topic | Mathematics Computer science Global analysis (Mathematics) Analysis Computer Science, general Informatik Mathematik Softwareentwicklung (DE-588)4116522-6 gnd Verfeinerung (DE-588)4267759-2 gnd |
| topic_facet | Mathematics Computer science Global analysis (Mathematics) Analysis Computer Science, general Informatik Mathematik Softwareentwicklung Verfeinerung |
| url | https://doi.org/10.1007/978-1-4471-3273-8 |
| work_keys_str_mv | AT morgancarroll ontherefinementcalculus AT vickerstrevor ontherefinementcalculus |