Formal methods for software architectures: third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Berlin
Springer
2003
|
| Series: | Lecture notes in computer science
2804 |
| Subjects: | |
| Online Access: | DE-91 DE-384 DE-19 DE-739 Volltext |
| Physical Description: | 1 Online-Ressource (VI, 285 S.) |
| ISBN: | 3540200835 |
| DOI: | 10.1007/b13225 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV035062036 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 080919s2003 gw o|||| 10||| eng d | ||
| 020 | |a 3540200835 |9 3-540-20083-5 | ||
| 024 | 7 | |a 10.1007/b13225 |2 doi | |
| 035 | |a (OCoLC)1074305367 | ||
| 035 | |a (DE-599)BVBBV035062036 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-19 |a DE-91 |a DE-739 |a DE-384 | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods for software architectures |b third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures |c Marco Bernardo ... (eds.) |
| 264 | 1 | |a Berlin |b Springer |c 2003 | |
| 300 | |a 1 Online-Ressource (VI, 285 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2804 | |
| 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 |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarearchitektur |0 (DE-588)4121677-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2003 |z Bertinoro |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 | |
| 689 | 1 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Softwarearchitektur |0 (DE-588)4121677-5 |D s |
| 689 | 2 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Bernardo, Marco |d 1970- |e Sonstige |0 (DE-588)1036692701 |4 oth | |
| 711 | 2 | |a International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures |n 3 |d 2003 |c Bertinoro |j Sonstige |0 (DE-588)10064706-6 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2804 |w (DE-604)BV014880109 |9 2804 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/b13225 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016730542 | |
| 966 | e | |u https://doi.org/10.1007/b13225 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b13225 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b13225 |l DE-19 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b13225 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1820875066680803328 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author_GND | (DE-588)1036692701 |
| building | Verbundindex |
| bvnumber | BV035062036 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)1074305367 (DE-599)BVBBV035062036 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/b13225 |
| format | Electronic Conference Proceeding 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">BV035062036</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">080919s2003 gw o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540200835</subfield><subfield code="9">3-540-20083-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b13225</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1074305367</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035062036</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">gw</subfield><subfield code="c">DE</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="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 for software architectures</subfield><subfield code="b">third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures</subfield><subfield code="c">Marco Bernardo ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VI, 285 S.)</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">2804</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="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</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">2003</subfield><subfield code="z">Bertinoro</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="689" ind1="1" ind2="0"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bernardo, Marco</subfield><subfield code="d">1970-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1036692701</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures</subfield><subfield code="n">3</subfield><subfield code="d">2003</subfield><subfield code="c">Bertinoro</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10064706-6</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">2804</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">2804</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b13225</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-016730542</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b13225</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">https://doi.org/10.1007/b13225</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">https://doi.org/10.1007/b13225</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">https://doi.org/10.1007/b13225</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 2003 Bertinoro gnd-content |
| genre_facet | Konferenzschrift 2003 Bertinoro |
| id | DE-604.BV035062036 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T22:00:49Z |
| indexdate | 2025-01-10T15:09:44Z |
| institution | BVB |
| institution_GND | (DE-588)10064706-6 |
| isbn | 3540200835 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016730542 |
| oclc_num | 1074305367 |
| 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 (VI, 285 S.) |
| 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 for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures Marco Bernardo ... (eds.) Berlin Springer 2003 1 Online-Ressource (VI, 285 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 2804 Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Softwarearchitektur (DE-588)4121677-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 Bertinoro gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Systementwicklung (DE-588)4126945-7 s Softwarearchitektur (DE-588)4121677-5 s Bernardo, Marco 1970- Sonstige (DE-588)1036692701 oth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures 3 2003 Bertinoro Sonstige (DE-588)10064706-6 oth Lecture notes in computer science 2804 (DE-604)BV014880109 2804 https://doi.org/10.1007/b13225 Verlag Volltext |
| spellingShingle | Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Softwarearchitektur (DE-588)4121677-5 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)4121677-5 (DE-588)1071861417 |
| title | Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures |
| title_auth | Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures |
| title_exact_search | Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures |
| title_exact_search_txtP | Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures |
| title_full | Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures Marco Bernardo ... (eds.) |
| title_fullStr | Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures Marco Bernardo ... (eds.) |
| title_full_unstemmed | Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures Marco Bernardo ... (eds.) |
| title_short | Formal methods for software architectures |
| title_sort | formal methods for software architectures third international school on formal methods for the design of computer communication and software systems software architectures sfm 2003 bertinoro italy september 22 27 2003 advanced lectures |
| title_sub | third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures |
| topic | Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Softwarearchitektur (DE-588)4121677-5 gnd |
| topic_facet | Formale Methode Softwareentwicklung Systementwicklung Softwarearchitektur Konferenzschrift 2003 Bertinoro |
| url | https://doi.org/10.1007/b13225 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT bernardomarco formalmethodsforsoftwarearchitecturesthirdinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssoftwarearchitecturessfm2003bertinoroitalyseptember22272003advancedlectures AT internationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssoftwarearchitecturesbertinoro formalmethodsforsoftwarearchitecturesthirdinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssoftwarearchitecturessfm2003bertinoroitalyseptember22272003advancedlectures |