Special issue on formal methods for components and objects: pragmatic aspects and applications
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam u.a.
Elsevier
2005
|
| Series: | Science of computer programming
55,1/3 |
| Subjects: | |
| Item Description: | Einzelausnahme eines Zeitschr.-Heftes |
| Physical Description: | 290 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019724148 | ||
| 003 | DE-604 | ||
| 005 | 20050321 | ||
| 007 | t | ||
| 008 | 050307s2005 d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)315173883 | ||
| 035 | |a (DE-599)BVBBV019724148 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 | ||
| 245 | 1 | 0 | |a Special issue on formal methods for components and objects |b pragmatic aspects and applications |c guest ed. F. S. de Boer ... |
| 246 | 1 | 3 | |a Formal methods for components and objects |
| 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 | ||
| 490 | 0 | |a Science of computer programming |v 55,1/3 | |
| 500 | |a Einzelausnahme eines Zeitschr.-Heftes | ||
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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 Objektorientierung |0 (DE-588)4346172-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Objektorientierung |0 (DE-588)4346172-4 |D s |
| 689 | 0 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | 1 | |a Komponente |g Software |0 (DE-588)4439521-8 |D s |
| 689 | 1 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Boer, Frank S. de |e Sonstige |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-013051219 | ||
Record in the Search Index
| _version_ | 1804133183109726208 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV019724148 |
| ctrlnum | (OCoLC)315173883 (DE-599)BVBBV019724148 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01627nam a2200433 cb4500</leader><controlfield tag="001">BV019724148</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050321 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050307s2005 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)315173883</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019724148</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Special issue on formal methods for components and objects</subfield><subfield code="b">pragmatic aspects and applications</subfield><subfield code="c">guest ed. F. S. de Boer ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Formal methods for components and objects</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="490" ind1="0" ind2=" "><subfield code="a">Science of computer programming</subfield><subfield code="v">55,1/3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Einzelausnahme eines Zeitschr.-Heftes</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">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">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</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">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</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="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">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="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="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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013051219</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV019724148 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T20:04:40Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013051219 |
| oclc_num | 315173883 |
| open_access_boolean | |
| owner | DE-384 |
| owner_facet | DE-384 |
| physical | 290 S. graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Science of computer programming |
| spelling | Special issue on formal methods for components and objects pragmatic aspects and applications guest ed. F. S. de Boer ... Formal methods for components and objects Amsterdam u.a. Elsevier 2005 290 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Science of computer programming 55,1/3 Einzelausnahme eines Zeitschr.-Heftes Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Softwareentwicklung (DE-588)4116522-6 s Objektorientierung (DE-588)4346172-4 s Formale Methode (DE-588)4333722-3 s DE-604 Komponente Software (DE-588)4439521-8 s Boer, Frank S. de Sonstige oth |
| spellingShingle | Special issue on formal methods for components and objects pragmatic aspects and applications Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Formale Methode (DE-588)4333722-3 gnd Objektorientierung (DE-588)4346172-4 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4439521-8 (DE-588)4333722-3 (DE-588)4346172-4 (DE-588)4143413-4 |
| title | Special issue on formal methods for components and objects pragmatic aspects and applications |
| title_alt | Formal methods for components and objects |
| title_auth | Special issue on formal methods for components and objects pragmatic aspects and applications |
| title_exact_search | Special issue on formal methods for components and objects pragmatic aspects and applications |
| title_full | Special issue on formal methods for components and objects pragmatic aspects and applications guest ed. F. S. de Boer ... |
| title_fullStr | Special issue on formal methods for components and objects pragmatic aspects and applications guest ed. F. S. de Boer ... |
| title_full_unstemmed | Special issue on formal methods for components and objects pragmatic aspects and applications guest ed. F. S. de Boer ... |
| title_short | Special issue on formal methods for components and objects |
| title_sort | special issue on formal methods for components and objects pragmatic aspects and applications |
| title_sub | pragmatic aspects and applications |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Formale Methode (DE-588)4333722-3 gnd Objektorientierung (DE-588)4346172-4 gnd |
| topic_facet | Softwareentwicklung Komponente Software Formale Methode Objektorientierung Aufsatzsammlung |
| work_keys_str_mv | AT boerfranksde specialissueonformalmethodsforcomponentsandobjectspragmaticaspectsandapplications AT boerfranksde formalmethodsforcomponentsandobjects |