Proof and System-Reliability:
As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logical...
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2002
|
| Schriftenreihe: | NATO Science Series, Series II: Mathematics, Physics and Chemistry
62 |
| Schlagworte: | |
| Online-Zugang: | UBT01 Volltext |
| Zusammenfassung: | As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives |
| Beschreibung: | 1 Online-Ressource (XII, 415 p) |
| ISBN: | 9789401004138 |
| DOI: | 10.1007/978-94-010-0413-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045152260 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180828s2002 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401004138 |9 978-94-010-0413-8 | ||
| 024 | 7 | |a 10.1007/978-94-010-0413-8 |2 doi | |
| 035 | |a (ZDB-2-CMS)978-94-010-0413-8 | ||
| 035 | |a (OCoLC)1050948005 | ||
| 035 | |a (DE-599)BVBBV045152260 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 245 | 1 | 0 | |a Proof and System-Reliability |c edited by Helmut Schwichtenberg, Ralf Steinbrüggen |
| 246 | 1 | 3 | |a Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2002 | |
| 300 | |a 1 Online-Ressource (XII, 415 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a NATO Science Series, Series II: Mathematics, Physics and Chemistry |v 62 | |
| 520 | |a As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Computing Methodologies | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Mathematical logic | |
| 700 | 1 | |a Schwichtenberg, Helmut |4 edt | |
| 700 | 1 | |a Steinbrüggen, Ralf |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781402006081 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-010-0413-8 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-CMS | ||
| 940 | 1 | |q ZDB-2-CMS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030541928 | ||
| 966 | e | |u https://doi.org/10.1007/978-94-010-0413-8 |l UBT01 |p ZDB-2-CMS |q ZDB-2-CMS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178825352839168 |
|---|---|
| any_adam_object | |
| author2 | Schwichtenberg, Helmut Steinbrüggen, Ralf |
| author2_role | edt edt |
| author2_variant | h s hs r s rs |
| author_facet | Schwichtenberg, Helmut Steinbrüggen, Ralf |
| building | Verbundindex |
| bvnumber | BV045152260 |
| collection | ZDB-2-CMS |
| ctrlnum | (ZDB-2-CMS)978-94-010-0413-8 (OCoLC)1050948005 (DE-599)BVBBV045152260 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-94-010-0413-8 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02510nmm a2200505zcb4500</leader><controlfield tag="001">BV045152260</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180828s2002 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401004138</subfield><subfield code="9">978-94-010-0413-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-010-0413-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-CMS)978-94-010-0413-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1050948005</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045152260</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-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof and System-Reliability</subfield><subfield code="c">edited by Helmut Schwichtenberg, Ralf Steinbrüggen</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 415 p)</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">NATO Science Series, Series II: Mathematics, Physics and Chemistry</subfield><subfield code="v">62</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computing Methodologies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schwichtenberg, Helmut</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steinbrüggen, Ralf</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781402006081</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-010-0413-8</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-CMS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-CMS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030541928</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-010-0413-8</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-CMS</subfield><subfield code="q">ZDB-2-CMS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV045152260 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:10:07Z |
| institution | BVB |
| isbn | 9789401004138 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030541928 |
| oclc_num | 1050948005 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | 1 Online-Ressource (XII, 415 p) |
| psigel | ZDB-2-CMS ZDB-2-CMS_2000/2004 ZDB-2-CMS ZDB-2-CMS_2000/2004 |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | NATO Science Series, Series II: Mathematics, Physics and Chemistry |
| spelling | Proof and System-Reliability edited by Helmut Schwichtenberg, Ralf Steinbrüggen Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 Dordrecht Springer Netherlands 2002 1 Online-Ressource (XII, 415 p) txt rdacontent c rdamedia cr rdacarrier NATO Science Series, Series II: Mathematics, Physics and Chemistry 62 As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives Mathematics Mathematical Logic and Foundations Computing Methodologies Logic Theory of Computation Computers Mathematical logic Schwichtenberg, Helmut edt Steinbrüggen, Ralf edt Erscheint auch als Druck-Ausgabe 9781402006081 https://doi.org/10.1007/978-94-010-0413-8 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Proof and System-Reliability Mathematics Mathematical Logic and Foundations Computing Methodologies Logic Theory of Computation Computers Mathematical logic |
| title | Proof and System-Reliability |
| title_alt | Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 |
| title_auth | Proof and System-Reliability |
| title_exact_search | Proof and System-Reliability |
| title_full | Proof and System-Reliability edited by Helmut Schwichtenberg, Ralf Steinbrüggen |
| title_fullStr | Proof and System-Reliability edited by Helmut Schwichtenberg, Ralf Steinbrüggen |
| title_full_unstemmed | Proof and System-Reliability edited by Helmut Schwichtenberg, Ralf Steinbrüggen |
| title_short | Proof and System-Reliability |
| title_sort | proof and system reliability |
| topic | Mathematics Mathematical Logic and Foundations Computing Methodologies Logic Theory of Computation Computers Mathematical logic |
| topic_facet | Mathematics Mathematical Logic and Foundations Computing Methodologies Logic Theory of Computation Computers Mathematical logic |
| url | https://doi.org/10.1007/978-94-010-0413-8 |
| work_keys_str_mv | AT schwichtenberghelmut proofandsystemreliability AT steinbruggenralf proofandsystemreliability AT schwichtenberghelmut proceedingsofthenatoadvancedstudyinstitutemarktoberdorfgermanyfrom24julyto5august2001 AT steinbruggenralf proceedingsofthenatoadvancedstudyinstitutemarktoberdorfgermanyfrom24julyto5august2001 |