Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems:
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
New York,NY,United States
Association for Computing Machinery
2010
|
| Series: | ACM Conferences
|
| Online Access: | UBM01 Volltext |
| Physical Description: | 1 Online-Ressource (50 Seiten) |
| ISBN: | 9781605589725 |
Staff View
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV048953674 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 230510m2010 |||| o||u| ||||||eng d | ||
| 020 | |a 9781605589725 |9 978-1-60558-972-5 | ||
| 035 | |a (ZDB-15-ACM)10.1145/1808877 | ||
| 035 | |a (OCoLC)1379392701 | ||
| 035 | |a (DE-599)BVBBV048953674 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 | ||
| 100 | 1 | |a Ghezzi, Carlo |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| 246 | 1 | 0 | |a QUOVADIS '10 |
| 264 | 1 | |a New York,NY,United States |b Association for Computing Machinery |c 2010 | |
| 300 | |a 1 Online-Ressource (50 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a ACM Conferences | |
| 710 | 2 | |a ICSE '10: 32nd International Conference on Software Engineering |d 2010 |c Cape Town South Africa |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 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%2F1808877 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-15-ACM | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034217522 | ||
| 966 | e | |u https://dl.acm.org/action/showBook?doi=10.1145%2F1808877 |l UBM01 |p ZDB-15-ACM |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804185179254685696 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Ghezzi, Carlo |
| author_corporate | ICSE '10: 32nd International Conference on Software Engineering |
| author_corporate_role | aut |
| author_facet | Ghezzi, Carlo ICSE '10: 32nd International Conference on Software Engineering |
| author_role | aut |
| author_sort | Ghezzi, Carlo |
| author_variant | c g cg |
| building | Verbundindex |
| bvnumber | BV048953674 |
| collection | ZDB-15-ACM |
| ctrlnum | (ZDB-15-ACM)10.1145/1808877 (OCoLC)1379392701 (DE-599)BVBBV048953674 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01526nmm a2200373 c 4500</leader><controlfield tag="001">BV048953674</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">230510m2010 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781605589725</subfield><subfield code="9">978-1-60558-972-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-15-ACM)10.1145/1808877</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1379392701</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048953674</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">Ghezzi, Carlo</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 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems</subfield></datafield><datafield tag="246" ind1="1" ind2="0"><subfield code="a">QUOVADIS '10</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">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (50 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">ICSE '10: 32nd International Conference on Software Engineering</subfield><subfield code="d">2010</subfield><subfield code="c">Cape Town South Africa</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 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%2F1808877</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-034217522</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://dl.acm.org/action/showBook?doi=10.1145%2F1808877</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.BV048953674 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T21:58:57Z |
| indexdate | 2024-07-10T09:51:07Z |
| institution | BVB |
| isbn | 9781605589725 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034217522 |
| oclc_num | 1379392701 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | 1 Online-Ressource (50 Seiten) |
| psigel | ZDB-15-ACM |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Association for Computing Machinery |
| record_format | marc |
| series2 | ACM Conferences |
| spelling | Ghezzi, Carlo Verfasser aut Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems QUOVADIS '10 New York,NY,United States Association for Computing Machinery 2010 1 Online-Ressource (50 Seiten) txt rdacontent c rdamedia cr rdacarrier ACM Conferences ICSE '10: 32nd International Conference on Software Engineering 2010 Cape Town South Africa Verfasser aut Association for Computing Machinery-Digital Library Sonstige oth ACM Special Interest Group on Software Engineering Sonstige oth ACM SIGs Sonstige oth https://dl.acm.org/action/showBook?doi=10.1145%2F1808877 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Ghezzi, Carlo Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| title | Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| title_alt | QUOVADIS '10 |
| title_auth | Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| title_exact_search | Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| title_exact_search_txtP | Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| title_full | Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| title_fullStr | Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| title_full_unstemmed | Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| title_short | Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems |
| title_sort | proceedings of the 2010 icse workshop on quantitative stochastic models in the verification and design of software systems |
| url | https://dl.acm.org/action/showBook?doi=10.1145%2F1808877 |
| work_keys_str_mv | AT ghezzicarlo proceedingsofthe2010icseworkshoponquantitativestochasticmodelsintheverificationanddesignofsoftwaresystems AT icse1032ndinternationalconferenceonsoftwareengineering proceedingsofthe2010icseworkshoponquantitativestochasticmodelsintheverificationanddesignofsoftwaresystems AT associationforcomputingmachinerydigitallibrary proceedingsofthe2010icseworkshoponquantitativestochasticmodelsintheverificationanddesignofsoftwaresystems AT acmspecialinterestgrouponsoftwareengineering proceedingsofthe2010icseworkshoponquantitativestochasticmodelsintheverificationanddesignofsoftwaresystems AT acmsigs proceedingsofthe2010icseworkshoponquantitativestochasticmodelsintheverificationanddesignofsoftwaresystems AT ghezzicarlo quovadis10 AT icse1032ndinternationalconferenceonsoftwareengineering quovadis10 AT associationforcomputingmachinerydigitallibrary quovadis10 AT acmspecialinterestgrouponsoftwareengineering quovadis10 AT acmsigs quovadis10 |