Proceedings of VERkshop: a Formal Verification Workshop
Gespeichert in:
| Vorheriger Titel: | VERkshop Contributions from VERkshop |
|---|---|
| Körperschaft: | |
| Format: | Tagungsbericht Zeitschrift |
| Sprache: | Undetermined |
| Veröffentlicht: |
New York, NY
Assoc. for Computing Machinery
1985-
|
| Schlagworte: | |
| Veröffentlicht: | 3.1985 - |
Internformat
MARC
| LEADER | 00000nas a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004137700 | ||
| 003 | DE-604 | ||
| 005 | 20220903093156 | ||
| 007 | t | ||
| 008 | 991120c19859999xxu|| p| |||| 1 ||und d | ||
| 016 | 7 | |a 013694596 |2 DE-101 | |
| 016 | 7 | |a 635632-1 |2 DE-600 | |
| 035 | |a (OCoLC)313632903 | ||
| 035 | |a (DE-599)ZDB635632-1 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | |a und | ||
| 044 | |a xxu |c XD-US | ||
| 049 | |a DE-91G |a DE-898 | ||
| 084 | |a 004 |2 22sdnb | ||
| 111 | 2 | |a VERkshop |j Verfasser |0 (DE-588)215451-1 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of VERkshop |b a Formal Verification Workshop |
| 264 | 3 | 1 | |a New York, NY |b Assoc. for Computing Machinery |c 1985- |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 362 | 0 | |a 3.1985 - | |
| 363 | 0 | 1 | |a 3 |i 1985 |
| 655 | 7 | |0 (DE-588)4067488-5 |a Zeitschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 780 | 0 | 0 | |i Vorg.: |a VERkshop |t Contributions from VERkshop |d New York, NY : Assoc. for Computing Machinery, 1981-1981 |w (DE-600)635631-X |
| 787 | 0 | 8 | |i 3=10,4 von |t Software engineering notes |d New York, NY : ACM, 1976- |x 0163-5948 |w (DE-604)BV002581146 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002581518 | ||
Datensatz im Suchindex
| _version_ | 1804118352434561024 |
|---|---|
| any_adam_object | |
| author_corporate | VERkshop |
| author_corporate_role | aut |
| author_facet | VERkshop |
| author_sort | VERkshop |
| building | Verbundindex |
| bvnumber | BV004137700 |
| ctrlnum | 635632-1 (OCoLC)313632903 (DE-599)ZDB635632-1 |
| dateSpan | 3.1985 - |
| format | Conference Proceeding Journal |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01205nas a2200349 c 4500</leader><controlfield tag="001">BV004137700</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220903093156 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">991120c19859999xxu|| p| |||| 1 ||und d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">013694596</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">635632-1</subfield><subfield code="2">DE-600</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)313632903</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)ZDB635632-1</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">XD-US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-898</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">22sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">VERkshop</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)215451-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of VERkshop</subfield><subfield code="b">a Formal Verification Workshop</subfield></datafield><datafield tag="264" ind1="3" ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Assoc. for Computing Machinery</subfield><subfield code="c">1985-</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="362" ind1="0" ind2=" "><subfield code="a">3.1985 -</subfield></datafield><datafield tag="363" ind1="0" ind2="1"><subfield code="a">3</subfield><subfield code="i">1985</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4067488-5</subfield><subfield code="a">Zeitschrift</subfield><subfield code="2">gnd-content</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="780" ind1="0" ind2="0"><subfield code="i">Vorg.:</subfield><subfield code="a">VERkshop</subfield><subfield code="t">Contributions from VERkshop</subfield><subfield code="d">New York, NY : Assoc. for Computing Machinery, 1981-1981</subfield><subfield code="w">(DE-600)635631-X</subfield></datafield><datafield tag="787" ind1="0" ind2="8"><subfield code="i">3=10,4 von</subfield><subfield code="t">Software engineering notes</subfield><subfield code="d">New York, NY : ACM, 1976-</subfield><subfield code="x">0163-5948</subfield><subfield code="w">(DE-604)BV002581146</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002581518</subfield></datafield></record></collection> |
| genre | (DE-588)4067488-5 Zeitschrift gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Zeitschrift Konferenzschrift |
| id | DE-604.BV004137700 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:08:56Z |
| institution | BVB |
| institution_GND | (DE-588)215451-1 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002581518 |
| oclc_num | 313632903 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-898 DE-BY-UBR |
| owner_facet | DE-91G DE-BY-TUM DE-898 DE-BY-UBR |
| publishDate | 1985 |
| publishDateSearch | 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 8888 |
| publishDateSort | 2024 |
| publisher | Assoc. for Computing Machinery |
| record_format | marc |
| spelling | VERkshop Verfasser (DE-588)215451-1 aut Proceedings of VERkshop a Formal Verification Workshop New York, NY Assoc. for Computing Machinery 1985- txt rdacontent n rdamedia nc rdacarrier 3.1985 - 3 1985 (DE-588)4067488-5 Zeitschrift gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Vorg.: VERkshop Contributions from VERkshop New York, NY : Assoc. for Computing Machinery, 1981-1981 (DE-600)635631-X 3=10,4 von Software engineering notes New York, NY : ACM, 1976- 0163-5948 (DE-604)BV002581146 |
| spellingShingle | Proceedings of VERkshop a Formal Verification Workshop |
| subject_GND | (DE-588)4067488-5 (DE-588)1071861417 |
| title | Proceedings of VERkshop a Formal Verification Workshop |
| title_auth | Proceedings of VERkshop a Formal Verification Workshop |
| title_exact_search | Proceedings of VERkshop a Formal Verification Workshop |
| title_full | Proceedings of VERkshop a Formal Verification Workshop |
| title_fullStr | Proceedings of VERkshop a Formal Verification Workshop |
| title_full_unstemmed | Proceedings of VERkshop a Formal Verification Workshop |
| title_old | VERkshop Contributions from VERkshop |
| title_short | Proceedings of VERkshop |
| title_sort | proceedings of verkshop a formal verification workshop |
| title_sub | a Formal Verification Workshop |
| topic_facet | Zeitschrift Konferenzschrift |
| work_keys_str_mv | AT verkshop proceedingsofverkshopaformalverificationworkshop |
| zdb_num | 635632-1 (DE-599)ZDB635632-1 |