Proceedings of the 2013 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
2013
|
| Schriftenreihe: | ACM Conferences
|
| Online-Zugang: | UBM01 URL des Erstveröffentlichers |
| Beschreibung: | 1 Online-Ressource (100 Seiten) |
| ISBN: | 9781450324670 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV048953180 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 230510m2013 |||| o||u| ||||||eng d | ||
| 020 | |a 9781450324670 |9 978-1-4503-2467-0 | ||
| 035 | |a (ZDB-15-ACM)10.1145/2527269 | ||
| 035 | |a (OCoLC)1379412344 | ||
| 035 | |a (DE-599)BVBBV048953180 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 | ||
| 100 | 1 | |a Taft, S. Tucker |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology |
| 246 | 1 | 0 | |a HILT '13 |
| 264 | 1 | |a New York,NY,United States |b Association for Computing Machinery |c 2013 | |
| 300 | |a 1 Online-Ressource (100 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 2013: High Integrity Language Technology ACM SIGAda Annual |d 2013 |c Pittsburgh Pennsylvania 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%2F2527269 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-15-ACM | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034217028 | ||
| 966 | e | |u https://dl.acm.org/action/showBook?doi=10.1145%2F2527269 |l UBM01 |p ZDB-15-ACM |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804185177806602240 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Taft, S. Tucker |
| author_corporate | HILT 2013: High Integrity Language Technology ACM SIGAda Annual |
| author_corporate_role | aut |
| author_facet | Taft, S. Tucker HILT 2013: High Integrity Language Technology ACM SIGAda Annual |
| author_role | aut |
| author_sort | Taft, S. Tucker |
| author_variant | s t t st stt |
| building | Verbundindex |
| bvnumber | BV048953180 |
| collection | ZDB-15-ACM |
| ctrlnum | (ZDB-15-ACM)10.1145/2527269 (OCoLC)1379412344 (DE-599)BVBBV048953180 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01995nmm a2200445 c 4500</leader><controlfield tag="001">BV048953180</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">230510m2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781450324670</subfield><subfield code="9">978-1-4503-2467-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-15-ACM)10.1145/2527269</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1379412344</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048953180</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">Taft, S. Tucker</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 2013 ACM SIGAda annual conference on High integrity language technology</subfield></datafield><datafield tag="246" ind1="1" ind2="0"><subfield code="a">HILT '13</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">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (100 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 2013: High Integrity Language Technology ACM SIGAda Annual</subfield><subfield code="d">2013</subfield><subfield code="c">Pittsburgh Pennsylvania 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%2F2527269</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-034217028</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://dl.acm.org/action/showBook?doi=10.1145%2F2527269</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.BV048953180 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T21:58:56Z |
| indexdate | 2024-07-10T09:51:06Z |
| institution | BVB |
| isbn | 9781450324670 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034217028 |
| oclc_num | 1379412344 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | 1 Online-Ressource (100 Seiten) |
| psigel | ZDB-15-ACM |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Association for Computing Machinery |
| record_format | marc |
| series2 | ACM Conferences |
| spelling | Taft, S. Tucker Verfasser aut Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology HILT '13 New York,NY,United States Association for Computing Machinery 2013 1 Online-Ressource (100 Seiten) txt rdacontent c rdamedia cr rdacarrier ACM Conferences HILT 2013: High Integrity Language Technology ACM SIGAda Annual 2013 Pittsburgh Pennsylvania 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%2F2527269 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Taft, S. Tucker Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology |
| title | Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology |
| title_alt | HILT '13 |
| title_auth | Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology |
| title_exact_search | Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology |
| title_exact_search_txtP | Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology |
| title_full | Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology |
| title_fullStr | Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology |
| title_full_unstemmed | Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology |
| title_short | Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology |
| title_sort | proceedings of the 2013 acm sigada annual conference on high integrity language technology |
| url | https://dl.acm.org/action/showBook?doi=10.1145%2F2527269 |
| work_keys_str_mv | AT taftstucker proceedingsofthe2013acmsigadaannualconferenceonhighintegritylanguagetechnology AT hilt2013highintegritylanguagetechnologyacmsigadaannual proceedingsofthe2013acmsigadaannualconferenceonhighintegritylanguagetechnology AT associationforcomputingmachinerydigitallibrary proceedingsofthe2013acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponadaprogramminglanguage proceedingsofthe2013acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponappliedcomputing proceedingsofthe2013acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponembeddedsystems proceedingsofthe2013acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponcomputersandsociety proceedingsofthe2013acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponcomputerscienceeducation proceedingsofthe2013acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponprogramminglanguages proceedingsofthe2013acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmspecialinterestgrouponsoftwareengineering proceedingsofthe2013acmsigadaannualconferenceonhighintegritylanguagetechnology AT acmsigs proceedingsofthe2013acmsigadaannualconferenceonhighintegritylanguagetechnology AT taftstucker hilt13 AT hilt2013highintegritylanguagetechnologyacmsigadaannual hilt13 AT associationforcomputingmachinerydigitallibrary hilt13 AT acmspecialinterestgrouponadaprogramminglanguage hilt13 AT acmspecialinterestgrouponappliedcomputing hilt13 AT acmspecialinterestgrouponembeddedsystems hilt13 AT acmspecialinterestgrouponcomputersandsociety hilt13 AT acmspecialinterestgrouponcomputerscienceeducation hilt13 AT acmspecialinterestgrouponprogramminglanguages hilt13 AT acmspecialinterestgrouponsoftwareengineering hilt13 AT acmsigs hilt13 |