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: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin
Springer
2003
|
| Series: | Lecture notes in computer science
2804 |
| Subjects: | |
| Item Description: | Includes index |
| Physical Description: | VI, 285 S. |
| ISBN: | 3540200835 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV017487772 | ||
| 003 | DE-604 | ||
| 005 | 20040211 | ||
| 007 | t| | ||
| 008 | 030909s2003 gw |||| 10||| eng d | ||
| 016 | 7 | |a 968668097 |2 DE-101 | |
| 020 | |a 3540200835 |9 3-540-20083-5 | ||
| 035 | |a (OCoLC)52942704 | ||
| 035 | |a (DE-599)BVBBV017487772 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-29T |a DE-91G |a DE-706 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.754 | |
| 082 | 0 | |a 005.3 |2 22 | |
| 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 VI, 285 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 2804 | |
| 500 | |a Includes index | ||
| 650 | 7 | |a Architecture logicielle |2 rasuqam | |
| 650 | 7 | |a Conception de systèmes |2 rasuqam | |
| 650 | 7 | |a Méthode formelle |2 rasuqam | |
| 650 | 4 | |a Computer architecture |v Congresses | |
| 650 | 4 | |a Computer software |v Congresses | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 4 | |a System design |v Congresses | |
| 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)BV000000607 |9 2804 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010535119 | |
Record in the Search Index
| _version_ | 1820874927713026048 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)1036692701 |
| building | Verbundindex |
| bvnumber | BV017487772 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.754 |
| callnumber-search | QA76.754 |
| callnumber-sort | QA 276.754 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)52942704 (DE-599)BVBBV017487772 |
| dewey-full | 005.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.3 |
| dewey-search | 005.3 |
| dewey-sort | 15.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV017487772</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040211</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">030909s2003 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">968668097</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540200835</subfield><subfield code="9">3-540-20083-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)52942704</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017487772</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-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.754</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.3</subfield><subfield code="2">22</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">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">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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2804</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Architecture logicielle</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conception de systèmes</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Méthode formelle</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer architecture</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield><subfield code="v">Congresses</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)BV000000607</subfield><subfield code="9">2804</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010535119</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2003 Bertinoro gnd-content |
| genre_facet | Konferenzschrift 2003 Bertinoro |
| id | DE-604.BV017487772 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:07:31Z |
| institution | BVB |
| institution_GND | (DE-588)10064706-6 |
| isbn | 3540200835 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010535119 |
| oclc_num | 52942704 |
| open_access_boolean | |
| owner | DE-384 DE-29T DE-91G DE-BY-TUM DE-706 DE-11 DE-188 |
| owner_facet | DE-384 DE-29T DE-91G DE-BY-TUM DE-706 DE-11 DE-188 |
| physical | VI, 285 S. |
| 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 VI, 285 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2804 Includes index Architecture logicielle rasuqam Conception de systèmes rasuqam Méthode formelle rasuqam Computer architecture Congresses Computer software Congresses Formal methods (Computer science) Congresses System design Congresses 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)BV000000607 2804 |
| 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 Architecture logicielle rasuqam Conception de systèmes rasuqam Méthode formelle rasuqam Computer architecture Congresses Computer software Congresses Formal methods (Computer science) Congresses System design Congresses 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_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 | Architecture logicielle rasuqam Conception de systèmes rasuqam Méthode formelle rasuqam Computer architecture Congresses Computer software Congresses Formal methods (Computer science) Congresses System design Congresses 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 | Architecture logicielle Conception de systèmes Méthode formelle Computer architecture Congresses Computer software Congresses Formal methods (Computer science) Congresses System design Congresses Formale Methode Softwareentwicklung Systementwicklung Softwarearchitektur Konferenzschrift 2003 Bertinoro |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bernardomarco formalmethodsforsoftwarearchitecturesthirdinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssoftwarearchitecturessfm2003bertinoroitalyseptember22272003advancedlectures AT internationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssoftwarearchitecturesbertinoro formalmethodsforsoftwarearchitecturesthirdinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssoftwarearchitecturessfm2003bertinoroitalyseptember22272003advancedlectures |