Formal methods at the crossroads: from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
2757 : Festschrift |
| Schlagworte: | |
| Online-Zugang: | DE-91 DE-384 DE-19 DE-739 Volltext |
| Beschreibung: | 1 Online-Ressource (XIV, 453 S. Ill.) |
| ISBN: | 3540205276 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV035090380 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 081008s2003 xxua||| o|||| 10||| eng d | ||
| 020 | |a 3540205276 |9 3-540-20527-6 | ||
| 035 | |a (OCoLC)248998435 | ||
| 035 | |a (DE-599)BVBBV035090380 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-19 |a DE-91 |a DE-739 |a DE-384 | ||
| 082 | 0 | |a 005.1 | |
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods at the crossroads |b from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |c Bernhard K. Aichernig, Tom Maibaum (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 2003 | |
| 300 | |a 1 Online-Ressource (XIV, 453 S. |b Ill.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2757 : Festschrift | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2002 |z Lissabon |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Aichernig, Bernhard K. |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2757 : Festschrift |w (DE-604)BV014880109 |9 2757 | |
| 856 | 4 | 0 | |u http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016758507 | |
| 966 | e | |u http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495 |l DE-19 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820875073070825472 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV035090380 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)248998435 (DE-599)BVBBV035090380 |
| 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 |
| discipline_str_mv | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV035090380</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">081008s2003 xxua||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540205276</subfield><subfield code="9">3-540-20527-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248998435</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035090380</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="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</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 methods at the crossroads</subfield><subfield code="b">from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers</subfield><subfield code="c">Bernhard K. Aichernig, Tom Maibaum (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 453 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">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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2757 : Festschrift</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2002</subfield><subfield code="z">Lissabon</subfield><subfield code="2">gnd-content</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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-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">Aichernig, Bernhard K.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2757 : Festschrift</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2757</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016758507</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Lissabon gnd-content |
| genre_facet | Konferenzschrift 2002 Lissabon |
| id | DE-604.BV035090380 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:10:21Z |
| indexdate | 2025-01-10T15:09:50Z |
| institution | BVB |
| isbn | 3540205276 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016758507 |
| oclc_num | 248998435 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 |
| owner_facet | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 |
| physical | 1 Online-Ressource (XIV, 453 S. Ill.) |
| psigel | ZDB-2-LNC |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.) Berlin u.a. Springer 2003 1 Online-Ressource (XIV, 453 S. Ill.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2757 : Festschrift Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Lissabon gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Aichernig, Bernhard K. Sonstige oth Lecture notes in computer science 2757 : Festschrift (DE-604)BV014880109 2757 http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495 Verlag Volltext |
| spellingShingle | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)1071861417 |
| title | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |
| title_auth | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |
| title_exact_search | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |
| title_exact_search_txtP | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |
| title_full | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.) |
| title_fullStr | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.) |
| title_full_unstemmed | Formal methods at the crossroads from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers Bernhard K. Aichernig, Tom Maibaum (eds.) |
| title_short | Formal methods at the crossroads |
| title_sort | formal methods at the crossroads from panacea to foundational support 10th anniversary colloquium of unu iist the international institute for software technology of the united nations university lisbon portugal march 18 20 2002 revised papers |
| title_sub | from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers |
| topic | Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Formale Methode Softwareentwicklung Konferenzschrift 2002 Lissabon |
| url | http://www.springerlink.com/content/3m7qebffxg3t/?p=18443e70267840e28e7d6983a975a15b&pi=2495 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT aichernigbernhardk formalmethodsatthecrossroadsfrompanaceatofoundationalsupport10thanniversarycolloquiumofunuiisttheinternationalinstituteforsoftwaretechnologyoftheunitednationsuniversitylisbonportugalmarch18202002revisedpapers |