6th international workshop on systems software verification: SSV'11, August 26, 2011, Nijmegen, The Nederlands
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Saarbrücken/Wadern
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
July 2012
|
| Schriftenreihe: | Open access series in informatics
Vol. 24 |
| Schlagworte: | |
| Online-Zugang: | kostenfrei kostenfrei kostenfrei |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9783939897361 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043696352 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160801s2012 gw |||| o||u| ||||||eng d | ||
| 015 | |a 12,O08 |2 dnb | ||
| 016 | 7 | |a 1024304000 |2 DE-101 | |
| 020 | |a 9783939897361 |c Online |9 978-3-939897-36-1 | ||
| 024 | 7 | |a urn:nbn:de:0030-drops-22253 |2 urn | |
| 035 | |a (OCoLC)863895381 | ||
| 035 | |a (DE-599)DNB1024304000 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-SL | ||
| 049 | |a DE-91 | ||
| 082 | 0 | |a 004 | |
| 084 | |a 004 |2 sdnb | ||
| 111 | 2 | |a International Workshop on Systems Software Verification |n 6 |d 2011 |c Nimwegen |j Verfasser |0 (DE-588)16182257-5 |4 aut | |
| 245 | 1 | 0 | |a 6th international workshop on systems software verification |b SSV'11, August 26, 2011, Nijmegen, The Nederlands |c Edited by Jörg Brauer, Marco Roveri, Hendrik Tews |
| 246 | 1 | 3 | |a Sixth international workshop on systems software verification |
| 246 | 1 | 3 | |a International workshop on systems software verification |
| 246 | 1 | 3 | |a Workshop on systems software verification |
| 246 | 1 | 3 | |a SSV 2011 |
| 264 | 1 | |a Saarbrücken/Wadern |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |c July 2012 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Open access series in informatics |v Vol. 24 | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Nijmegen |2 gnd-content | |
| 700 | 1 | |a Brauer, Jörg |4 edt | |
| 700 | 1 | |a Roveri, Marco |4 edt | |
| 700 | 1 | |a Tews, Hendrik |d 1969- |0 (DE-588)124389767 |4 edt | |
| 830 | 0 | |a Open access series in informatics |v Vol. 24 |w (DE-604)BV039164165 |9 24 | |
| 856 | 4 | 0 | |u http://www.dagstuhl.de/dagpub/978-3-939897-36-1 |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u http://d-nb.info/1024304000/34 |x Langzeitarchivierung Nationalbibliothek |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-22253 |x Resolving-System |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029108906 | ||
Datensatz im Suchindex
| _version_ | 1804176474714931200 |
|---|---|
| any_adam_object | |
| author2 | Brauer, Jörg Roveri, Marco Tews, Hendrik 1969- |
| author2_role | edt edt edt |
| author2_variant | j b jb m r mr h t ht |
| author_GND | (DE-588)124389767 |
| author_corporate | International Workshop on Systems Software Verification Nimwegen |
| author_corporate_role | aut |
| author_facet | Brauer, Jörg Roveri, Marco Tews, Hendrik 1969- International Workshop on Systems Software Verification Nimwegen |
| author_sort | International Workshop on Systems Software Verification Nimwegen |
| building | Verbundindex |
| bvnumber | BV043696352 |
| collection | ebook |
| ctrlnum | (OCoLC)863895381 (DE-599)DNB1024304000 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02134nmm a2200505zcb4500</leader><controlfield tag="001">BV043696352</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160801s2012 gw |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,O08</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1024304000</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783939897361</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-939897-36-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-22253</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863895381</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1024304000</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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">XA-DE-SL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Workshop on Systems Software Verification</subfield><subfield code="n">6</subfield><subfield code="d">2011</subfield><subfield code="c">Nimwegen</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16182257-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">6th international workshop on systems software verification</subfield><subfield code="b">SSV'11, August 26, 2011, Nijmegen, The Nederlands</subfield><subfield code="c">Edited by Jörg Brauer, Marco Roveri, Hendrik Tews</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Sixth international workshop on systems software verification</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">International workshop on systems software verification</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Workshop on systems software verification</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">SSV 2011</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Saarbrücken/Wadern</subfield><subfield code="b">Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing</subfield><subfield code="c">July 2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">Open access series in informatics</subfield><subfield code="v">Vol. 24</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Nijmegen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Brauer, Jörg</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Roveri, Marco</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tews, Hendrik</subfield><subfield code="d">1969-</subfield><subfield code="0">(DE-588)124389767</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Open access series in informatics</subfield><subfield code="v">Vol. 24</subfield><subfield code="w">(DE-604)BV039164165</subfield><subfield code="9">24</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.dagstuhl.de/dagpub/978-3-939897-36-1</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://d-nb.info/1024304000/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-22253</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029108906</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Nijmegen gnd-content |
| genre_facet | Konferenzschrift 2011 Nijmegen |
| id | DE-604.BV043696352 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:32:46Z |
| institution | BVB |
| institution_GND | (DE-588)16182257-5 |
| isbn | 9783939897361 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029108906 |
| oclc_num | 863895381 |
| open_access_boolean | 1 |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource |
| psigel | ebook |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing |
| record_format | marc |
| series | Open access series in informatics |
| series2 | Open access series in informatics |
| spelling | International Workshop on Systems Software Verification 6 2011 Nimwegen Verfasser (DE-588)16182257-5 aut 6th international workshop on systems software verification SSV'11, August 26, 2011, Nijmegen, The Nederlands Edited by Jörg Brauer, Marco Roveri, Hendrik Tews Sixth international workshop on systems software verification International workshop on systems software verification Workshop on systems software verification SSV 2011 Saarbrücken/Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing July 2012 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Open access series in informatics Vol. 24 (DE-588)1071861417 Konferenzschrift 2011 Nijmegen gnd-content Brauer, Jörg edt Roveri, Marco edt Tews, Hendrik 1969- (DE-588)124389767 edt Open access series in informatics Vol. 24 (DE-604)BV039164165 24 http://www.dagstuhl.de/dagpub/978-3-939897-36-1 Verlag kostenfrei Volltext http://d-nb.info/1024304000/34 Langzeitarchivierung Nationalbibliothek kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:0030-drops-22253 Resolving-System kostenfrei Volltext |
| spellingShingle | 6th international workshop on systems software verification SSV'11, August 26, 2011, Nijmegen, The Nederlands Open access series in informatics |
| subject_GND | (DE-588)1071861417 |
| title | 6th international workshop on systems software verification SSV'11, August 26, 2011, Nijmegen, The Nederlands |
| title_alt | Sixth international workshop on systems software verification International workshop on systems software verification Workshop on systems software verification SSV 2011 |
| title_auth | 6th international workshop on systems software verification SSV'11, August 26, 2011, Nijmegen, The Nederlands |
| title_exact_search | 6th international workshop on systems software verification SSV'11, August 26, 2011, Nijmegen, The Nederlands |
| title_full | 6th international workshop on systems software verification SSV'11, August 26, 2011, Nijmegen, The Nederlands Edited by Jörg Brauer, Marco Roveri, Hendrik Tews |
| title_fullStr | 6th international workshop on systems software verification SSV'11, August 26, 2011, Nijmegen, The Nederlands Edited by Jörg Brauer, Marco Roveri, Hendrik Tews |
| title_full_unstemmed | 6th international workshop on systems software verification SSV'11, August 26, 2011, Nijmegen, The Nederlands Edited by Jörg Brauer, Marco Roveri, Hendrik Tews |
| title_short | 6th international workshop on systems software verification |
| title_sort | 6th international workshop on systems software verification ssv 11 august 26 2011 nijmegen the nederlands |
| title_sub | SSV'11, August 26, 2011, Nijmegen, The Nederlands |
| topic_facet | Konferenzschrift 2011 Nijmegen |
| url | http://www.dagstuhl.de/dagpub/978-3-939897-36-1 http://d-nb.info/1024304000/34 https://nbn-resolving.org/urn:nbn:de:0030-drops-22253 |
| volume_link | (DE-604)BV039164165 |
| work_keys_str_mv | AT internationalworkshoponsystemssoftwareverificationnimwegen 6thinternationalworkshoponsystemssoftwareverificationssv11august262011nijmegenthenederlands AT brauerjorg 6thinternationalworkshoponsystemssoftwareverificationssv11august262011nijmegenthenederlands AT roverimarco 6thinternationalworkshoponsystemssoftwareverificationssv11august262011nijmegenthenederlands AT tewshendrik 6thinternationalworkshoponsystemssoftwareverificationssv11august262011nijmegenthenederlands AT internationalworkshoponsystemssoftwareverificationnimwegen sixthinternationalworkshoponsystemssoftwareverification AT brauerjorg sixthinternationalworkshoponsystemssoftwareverification AT roverimarco sixthinternationalworkshoponsystemssoftwareverification AT tewshendrik sixthinternationalworkshoponsystemssoftwareverification AT internationalworkshoponsystemssoftwareverificationnimwegen internationalworkshoponsystemssoftwareverification AT brauerjorg internationalworkshoponsystemssoftwareverification AT roverimarco internationalworkshoponsystemssoftwareverification AT tewshendrik internationalworkshoponsystemssoftwareverification AT internationalworkshoponsystemssoftwareverificationnimwegen workshoponsystemssoftwareverification AT brauerjorg workshoponsystemssoftwareverification AT roverimarco workshoponsystemssoftwareverification AT tewshendrik workshoponsystemssoftwareverification AT internationalworkshoponsystemssoftwareverificationnimwegen ssv2011 AT brauerjorg ssv2011 AT roverimarco ssv2011 AT tewshendrik ssv2011 |