Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York,NY,United States
Association for Computing Machinery
2014
|
| Schriftenreihe: | ACM Conferences
|
| Online-Zugang: | UBM01 Volltext |
| Beschreibung: | 1 Online-Ressource (116 Seiten) |
| ISBN: | 9781450332170 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV048946412 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 230510m2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9781450332170 |9 978-1-4503-3217-0 | ||
| 035 | |a (ZDB-15-ACM)10.1145/2663171 | ||
| 035 | |a (OCoLC)1379379095 | ||
| 035 | |a (DE-599)BVBBV048946412 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 | ||
| 100 | 1 | |a Feldman, Michael |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology |
| 246 | 1 | 0 | |a HILT '14 |
| 264 | 1 | |a New York,NY,United States |b Association for Computing Machinery |c 2014 | |
| 300 | |a 1 Online-Ressource (116 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a ACM Conferences | |
| 710 | 2 | |a HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference |d 2014 |c Portland Oregon USA |e Verfasser |4 aut | |
| 710 | 2 | |a Association for Computing Machinery-Digital Library |e Sonstige |4 oth | |
| 710 | 2 | |a ACM Special Interest Group on Ada Programming Language |e Sonstige |4 oth | |
| 710 | 2 | |a ACM Special Interest Group on Applied Computing |e Sonstige |4 oth | |
| 710 | 2 | |a ACM Special Interest Group on Embedded Systems |e Sonstige |4 oth | |
| 710 | 2 | |a ACM Special Interest Group on Computers and Society |e Sonstige |4 oth | |
| 710 | 2 | |a ACM Special Interest Group on Computer Science Education |e Sonstige |4 oth | |
| 710 | 2 | |a ACM Special Interest Group on Programming Languages |e Sonstige |4 oth | |
| 710 | 2 | |a ACM Special Interest Group on Software Engineering |e Sonstige |4 oth | |
| 710 | 2 | |a ACM SIGs |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://dl.acm.org/action/showBook?doi=10.1145%2F2663171 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-15-ACM | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034210260 | ||
| 966 | e | |u https://dl.acm.org/action/showBook?doi=10.1145%2F2663171 |l UBM01 |p ZDB-15-ACM |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804185156846616576 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Feldman, Michael |
| author_corporate | HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference |
| author_corporate_role | aut |
| author_facet | Feldman, Michael HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference |
| author_role | aut |
| author_sort | Feldman, Michael |
| author_variant | m f mf |
| building | Verbundindex |
| bvnumber | BV048946412 |
| collection | ZDB-15-ACM |
| ctrlnum | (ZDB-15-ACM)10.1145/2663171 (OCoLC)1379379095 (DE-599)BVBBV048946412 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01998nmm a2200445 c 4500</leader><controlfield tag="001">BV048946412</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">230510m2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781450332170</subfield><subfield code="9">978-1-4503-3217-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-15-ACM)10.1145/2663171</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1379379095</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048946412</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-19</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Feldman, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology</subfield></datafield><datafield tag="246" ind1="1" ind2="0"><subfield code="a">HILT '14</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York,NY,United States</subfield><subfield code="b">Association for Computing Machinery</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (116 Seiten)</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="0" ind2=" "><subfield code="a">ACM Conferences</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference</subfield><subfield code="d">2014</subfield><subfield code="c">Portland Oregon USA</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Computing Machinery-Digital Library</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ACM Special Interest Group on Ada Programming Language</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ACM Special Interest Group on Applied Computing</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ACM Special Interest Group on Embedded Systems</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ACM Special Interest Group on Computers and Society</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ACM Special Interest Group on Computer Science Education</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ACM Special Interest Group on Programming Languages</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ACM Special Interest Group on Software Engineering</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ACM SIGs</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://dl.acm.org/action/showBook?doi=10.1145%2F2663171</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-15-ACM</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034210260</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://dl.acm.org/action/showBook?doi=10.1145%2F2663171</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-15-ACM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV048946412 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T21:58:39Z |
| indexdate | 2024-07-10T09:50:46Z |
| institution | BVB |
| isbn | 9781450332170 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034210260 |
| oclc_num | 1379379095 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | 1 Online-Ressource (116 Seiten) |
| psigel | ZDB-15-ACM |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Association for Computing Machinery |
| record_format | marc |
| series2 | ACM Conferences |
| spelling | Feldman, Michael Verfasser aut Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology HILT '14 New York,NY,United States Association for Computing Machinery 2014 1 Online-Ressource (116 Seiten) txt rdacontent c rdamedia cr rdacarrier ACM Conferences HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference 2014 Portland Oregon USA Verfasser aut Association for Computing Machinery-Digital Library Sonstige oth ACM Special Interest Group on Ada Programming Language Sonstige oth ACM Special Interest Group on Applied Computing Sonstige oth ACM Special Interest Group on Embedded Systems Sonstige oth ACM Special Interest Group on Computers and Society Sonstige oth ACM Special Interest Group on Computer Science Education Sonstige oth ACM Special Interest Group on Programming Languages Sonstige oth ACM Special Interest Group on Software Engineering Sonstige oth ACM SIGs Sonstige oth https://dl.acm.org/action/showBook?doi=10.1145%2F2663171 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Feldman, Michael Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology |
| title | Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology |
| title_alt | HILT '14 |
| title_auth | Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology |
| title_exact_search | Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology |
| title_exact_search_txtP | Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology |
| title_full | Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology |
| title_fullStr | Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology |
| title_full_unstemmed | Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology |
| title_short | Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology |
| title_sort | proceedings of the 2014 acm sigada annual conference on high integrity language technology |
| url | https://dl.acm.org/action/showBook?doi=10.1145%2F2663171 |
| work_keys_str_mv | AT feldmanmichael proceedingsofthe2014acmsigadaannualconferenceonhighintegritylanguagetechnology AT hilt14highintegritylanguagetechnologyacmsigadaannualconference proceedingsofthe2014acmsigadaannualconferenceonhighintegritylanguagetechnology AT associationforcomputingmachinerydigitallibrary proceedingsofthe2014acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponadaprogramminglanguage proceedingsofthe2014acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponappliedcomputing proceedingsofthe2014acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponembeddedsystems proceedingsofthe2014acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponcomputersandsociety proceedingsofthe2014acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponcomputerscienceeducation proceedingsofthe2014acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponprogramminglanguages proceedingsofthe2014acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponsoftwareengineering proceedingsofthe2014acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmsigs proceedingsofthe2014acmsigadaannualconferenceonhighintegritylanguagetechnology AT feldmanmichael hilt14 AT hilt14highintegritylanguagetechnologyacmsigadaannualconference hilt14 AT associationforcomputingmachinerydigitallibrary hilt14 AT acmspecialinterestgrouponadaprogramminglanguage hilt14 AT acmspecialinterestgrouponappliedcomputing hilt14 AT acmspecialinterestgrouponembeddedsystems hilt14 AT acmspecialinterestgrouponcomputersandsociety hilt14 AT acmspecialinterestgrouponcomputerscienceeducation hilt14 AT acmspecialinterestgrouponprogramminglanguages hilt14 AT acmspecialinterestgrouponsoftwareengineering hilt14 AT acmsigs hilt14 |