Tools for system development and verification: workshop, proceedings, Bremen, Germany, July 1996
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Aachen
Shaker
1998
|
| Edition: | Als Ms. gedr. |
| Series: | Bremer Institut für Sichere Systeme: BISS monographs
1 |
| Subjects: | |
| Physical Description: | III, 214 S. Ill., graph. Darst. |
| ISBN: | 3826538064 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012006839 | ||
| 003 | DE-604 | ||
| 005 | 19981110 | ||
| 007 | t | ||
| 008 | 980609s1998 gw ad|| |||| 10||| eng d | ||
| 016 | 7 | |a 953809684 |2 DE-101 | |
| 020 | |a 3826538064 |c Pb. : DM 39.00, sfr 39.00, S 279.00 |9 3-8265-3806-4 | ||
| 035 | |a (OCoLC)75840983 | ||
| 035 | |a (DE-599)BVBBV012006839 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 | ||
| 245 | 1 | 0 | |a Tools for system development and verification |b workshop, proceedings, Bremen, Germany, July 1996 |c Jan Peleska. Ed. by Bettina Buth ... |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Aachen |b Shaker |c 1998 | |
| 300 | |a III, 214 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Bremer Institut für Sichere Systeme: BISS monographs |v 1 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Bremen |2 gnd-content | |
| 689 | 0 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Peleska, Jan |d 1958- |e Sonstige |0 (DE-588)141368535 |4 oth | |
| 700 | 1 | |a Buth, Bettina |e Sonstige |4 oth | |
| 711 | 2 | |a Workshop on Tool Support for System Development and Verification |d 1996 |c Bremen |j Sonstige |0 (DE-588)2173510-4 |4 oth | |
| 830 | 0 | |a Bremer Institut für Sichere Systeme: BISS monographs |v 1 |w (DE-604)BV012498787 |9 1 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008125439 | ||
Record in the Search Index
| _version_ | 1804126603074076672 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)141368535 |
| building | Verbundindex |
| bvnumber | BV012006839 |
| ctrlnum | (OCoLC)75840983 (DE-599)BVBBV012006839 |
| edition | Als Ms. gedr. |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01931nam a2200481 cb4500</leader><controlfield tag="001">BV012006839</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981110 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980609s1998 gw ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">953809684</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3826538064</subfield><subfield code="c">Pb. : DM 39.00, sfr 39.00, S 279.00</subfield><subfield code="9">3-8265-3806-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75840983</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012006839</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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-739</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools for system development and verification</subfield><subfield code="b">workshop, proceedings, Bremen, Germany, July 1996</subfield><subfield code="c">Jan Peleska. Ed. by Bettina Buth ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Als Ms. gedr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Aachen</subfield><subfield code="b">Shaker</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">III, 214 S.</subfield><subfield code="b">Ill., 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="1" ind2=" "><subfield code="a">Bremer Institut für Sichere Systeme: BISS monographs</subfield><subfield code="v">1</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">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">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-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">1996</subfield><subfield code="z">Bremen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="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">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</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">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Peleska, Jan</subfield><subfield code="d">1958-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)141368535</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Buth, Bettina</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on Tool Support for System Development and Verification</subfield><subfield code="d">1996</subfield><subfield code="c">Bremen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2173510-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Bremer Institut für Sichere Systeme: BISS monographs</subfield><subfield code="v">1</subfield><subfield code="w">(DE-604)BV012498787</subfield><subfield code="9">1</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008125439</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Bremen gnd-content |
| genre_facet | Konferenzschrift 1996 Bremen |
| id | DE-604.BV012006839 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:20:04Z |
| institution | BVB |
| institution_GND | (DE-588)2173510-4 |
| isbn | 3826538064 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008125439 |
| oclc_num | 75840983 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | III, 214 S. Ill., graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Shaker |
| record_format | marc |
| series | Bremer Institut für Sichere Systeme: BISS monographs |
| series2 | Bremer Institut für Sichere Systeme: BISS monographs |
| spelling | Tools for system development and verification workshop, proceedings, Bremen, Germany, July 1996 Jan Peleska. Ed. by Bettina Buth ... Als Ms. gedr. Aachen Shaker 1998 III, 214 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Bremer Institut für Sichere Systeme: BISS monographs 1 Formale Methode (DE-588)4333722-3 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Bremen gnd-content Systementwicklung (DE-588)4126945-7 s Formale Methode (DE-588)4333722-3 s DE-604 Formale Spezifikationstechnik (DE-588)4299725-2 s Verifikation (DE-588)4135577-5 s Peleska, Jan 1958- Sonstige (DE-588)141368535 oth Buth, Bettina Sonstige oth Workshop on Tool Support for System Development and Verification 1996 Bremen Sonstige (DE-588)2173510-4 oth Bremer Institut für Sichere Systeme: BISS monographs 1 (DE-604)BV012498787 1 |
| spellingShingle | Tools for system development and verification workshop, proceedings, Bremen, Germany, July 1996 Bremer Institut für Sichere Systeme: BISS monographs Formale Methode (DE-588)4333722-3 gnd Systementwicklung (DE-588)4126945-7 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4126945-7 (DE-588)4299725-2 (DE-588)4135577-5 (DE-588)1071861417 |
| title | Tools for system development and verification workshop, proceedings, Bremen, Germany, July 1996 |
| title_auth | Tools for system development and verification workshop, proceedings, Bremen, Germany, July 1996 |
| title_exact_search | Tools for system development and verification workshop, proceedings, Bremen, Germany, July 1996 |
| title_full | Tools for system development and verification workshop, proceedings, Bremen, Germany, July 1996 Jan Peleska. Ed. by Bettina Buth ... |
| title_fullStr | Tools for system development and verification workshop, proceedings, Bremen, Germany, July 1996 Jan Peleska. Ed. by Bettina Buth ... |
| title_full_unstemmed | Tools for system development and verification workshop, proceedings, Bremen, Germany, July 1996 Jan Peleska. Ed. by Bettina Buth ... |
| title_short | Tools for system development and verification |
| title_sort | tools for system development and verification workshop proceedings bremen germany july 1996 |
| title_sub | workshop, proceedings, Bremen, Germany, July 1996 |
| topic | Formale Methode (DE-588)4333722-3 gnd Systementwicklung (DE-588)4126945-7 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Formale Methode Systementwicklung Formale Spezifikationstechnik Verifikation Konferenzschrift 1996 Bremen |
| volume_link | (DE-604)BV012498787 |
| work_keys_str_mv | AT peleskajan toolsforsystemdevelopmentandverificationworkshopproceedingsbremengermanyjuly1996 AT buthbettina toolsforsystemdevelopmentandverificationworkshopproceedingsbremengermanyjuly1996 AT workshopontoolsupportforsystemdevelopmentandverificationbremen toolsforsystemdevelopmentandverificationworkshopproceedingsbremengermanyjuly1996 |