Special issue on formal methods for components and objects pragmatic aspects and applications: [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002]
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
Elsevier
2005
|
| Schlagworte: | |
| Beschreibung: | Literaturangaben. - In: Science of computer programming ; 55 (2005),1/3 |
| Beschreibung: | 290 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021991777 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 051213s2005 d||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)634753487 | ||
| 035 | |a (DE-599)BVBBV021991777 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 245 | 1 | 0 | |a Special issue on formal methods for components and objects pragmatic aspects and applications |b [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002] |
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 2005 | |
| 300 | |a 290 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben. - In: Science of computer programming ; 55 (2005),1/3 | ||
| 650 | 0 | 7 | |a Objektorientierung |0 (DE-588)4346172-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komponente |g Software |0 (DE-588)4439521-8 |2 gnd |9 rswk-swf |
| 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 |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Komponente |g Software |0 (DE-588)4439521-8 |D s |
| 689 | 0 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | 1 | |a Objektorientierung |0 (DE-588)4346172-4 |D s |
| 689 | 1 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Boer, Frank S. de |e Sonstige |4 oth | |
| 711 | 2 | |a FMCO |n 1 |d 2002 |c Leiden |j Sonstige |0 (DE-588)10065460-5 |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015206547 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804135967003508736 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV021991777 |
| ctrlnum | (OCoLC)634753487 (DE-599)BVBBV021991777 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01922nam a2200445zc 4500</leader><controlfield tag="001">BV021991777</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">051213s2005 d||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634753487</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021991777</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Special issue on formal methods for components and objects pragmatic aspects and applications</subfield><subfield code="b">[the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">290 S.</subfield><subfield code="b">graph. Darst.</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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben. - In: Science of computer programming ; 55 (2005),1/3</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boer, Frank S. de</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMCO</subfield><subfield code="n">1</subfield><subfield code="d">2002</subfield><subfield code="c">Leiden</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10065460-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015206547</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV021991777 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:10:38Z |
| indexdate | 2024-07-09T20:48:55Z |
| institution | BVB |
| institution_GND | (DE-588)10065460-5 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015206547 |
| oclc_num | 634753487 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 290 S. graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Elsevier |
| record_format | marc |
| spelling | Special issue on formal methods for components and objects pragmatic aspects and applications [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002] Amsterdam [u.a.] Elsevier 2005 290 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben. - In: Science of computer programming ; 55 (2005),1/3 Objektorientierung (DE-588)4346172-4 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Softwareentwicklung (DE-588)4116522-6 s Komponente Software (DE-588)4439521-8 s Formale Methode (DE-588)4333722-3 s 1\p DE-604 Objektorientierung (DE-588)4346172-4 s 2\p DE-604 Boer, Frank S. de Sonstige oth FMCO 1 2002 Leiden Sonstige (DE-588)10065460-5 oth 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Special issue on formal methods for components and objects pragmatic aspects and applications [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002] Objektorientierung (DE-588)4346172-4 gnd Komponente Software (DE-588)4439521-8 gnd Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| subject_GND | (DE-588)4346172-4 (DE-588)4439521-8 (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)1071861417 |
| title | Special issue on formal methods for components and objects pragmatic aspects and applications [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002] |
| title_auth | Special issue on formal methods for components and objects pragmatic aspects and applications [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002] |
| title_exact_search | Special issue on formal methods for components and objects pragmatic aspects and applications [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002] |
| title_exact_search_txtP | Special issue on formal methods for components and objects pragmatic aspects and applications [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002] |
| title_full | Special issue on formal methods for components and objects pragmatic aspects and applications [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002] |
| title_fullStr | Special issue on formal methods for components and objects pragmatic aspects and applications [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002] |
| title_full_unstemmed | Special issue on formal methods for components and objects pragmatic aspects and applications [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002] |
| title_short | Special issue on formal methods for components and objects pragmatic aspects and applications |
| title_sort | special issue on formal methods for components and objects pragmatic aspects and applications the first international symposium on formal methods for components and objects fmco was held in leiden the netherlands from november 5 to 8 2002 |
| title_sub | [the first International Symposium on Formal Methods for Components and Objects (FMCO) was held in Leiden, The Netherlands, from November 5 to 8, 2002] |
| topic | Objektorientierung (DE-588)4346172-4 gnd Komponente Software (DE-588)4439521-8 gnd Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd |
| topic_facet | Objektorientierung Komponente Software Formale Methode Softwareentwicklung Konferenzschrift |
| work_keys_str_mv | AT boerfranksde specialissueonformalmethodsforcomponentsandobjectspragmaticaspectsandapplicationsthefirstinternationalsymposiumonformalmethodsforcomponentsandobjectsfmcowasheldinleidenthenetherlandsfromnovember5to82002 AT fmcoleiden specialissueonformalmethodsforcomponentsandobjectspragmaticaspectsandapplicationsthefirstinternationalsymposiumonformalmethodsforcomponentsandobjectsfmcowasheldinleidenthenetherlandsfromnovember5to82002 |