Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | 2725 |
| creator | Hunt, Warren A., Jr Somenzi, Fabio |
| description | |
| doi_str_mv | 10.1007/b11831 |
| format | Book |
| fullrecord | <record><control><sourceid>proquest_sprin</sourceid><recordid>TN_cdi_springer_books_10_1007_b11831</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3088048</sourcerecordid><originalsourceid>FETCH-LOGICAL-a32780-fac5705b65eebada7e29538ab89c9c72da0989b663ca360ba997e4117c2518733</originalsourceid><addsrcrecordid>eNptz7tOw0AQBdDlKUwIP0CTAokCGWZ39lkGKzykSDQorbW7noAhxGHt5PtxlJSZZoo5uqPL2DWHBw5gHgPnFvkRu0QlQSrQTh-zjGvOc0TpTvYHUELCKcsAQeTOSDxnmVOotTIgLtiwbb-hHxQCjMrYTdH8rtYdpdG4rqgazSjV8zr6rm6WV-xs7hctDfd7wGbPk4_iNZ--v7wV42nuURgL-dzHPlwFrYiCr7wh0X-0PlgXXTSi8uCsC1pj9KgheOcMSc5NFIpbgzhgt7vgdpXq5SelMjTNT1tyKLfVy131nt0fYD7Fr3pDB_TdTq9S87emtitpyyMtu-QX5eSpQLAWpMV_bgVdgg</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC3088048</pqid></control><display><type>book</type><title>Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings</title><source>Springer Books</source><creator>Hunt, Warren A., Jr ; Somenzi, Fabio</creator><contributor>Hunt, Warren A. ; Somenzi, Fabio</contributor><creatorcontrib>Hunt, Warren A., Jr ; Somenzi, Fabio ; SpringerLink (Online service) ; Hunt, Warren A. ; Somenzi, Fabio</creatorcontrib><edition>1</edition><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540405240</identifier><identifier>ISBN: 9783540405245</identifier><identifier>ISBN: 9783662186855</identifier><identifier>ISBN: 3662186853</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540450696</identifier><identifier>EISBN: 9783540450696</identifier><identifier>DOI: 10.1007/b11831</identifier><identifier>OCLC: 953665702</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin / Heidelberg</publisher><subject>Computer Science ; Computer software ; Congresses ; Information theory ; Logic Design ; Logics and Meanings of Programs ; Mathematical Logic and Formal Languages ; Software Engineering ; Special Purpose and Application-Based Systems ; Theory of Computation ; Verification</subject><creationdate>2003</creationdate><tpages>473</tpages><format>473</format><rights>Springer-Verlag Berlin Heidelberg 2003</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://media.springernature.com/w306/springer-static/cover-hires/book/978-3-540-45069-6</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/b11831$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/b11831$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>306,309,777,781,783,786,4036,27906,38236,41423,42492</link.rule.ids></links><search><contributor>Hunt, Warren A.</contributor><contributor>Somenzi, Fabio</contributor><creatorcontrib>Hunt, Warren A., Jr</creatorcontrib><creatorcontrib>Somenzi, Fabio</creatorcontrib><creatorcontrib>SpringerLink (Online service)</creatorcontrib><title>Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings</title><subject>Computer Science</subject><subject>Computer software</subject><subject>Congresses</subject><subject>Information theory</subject><subject>Logic Design</subject><subject>Logics and Meanings of Programs</subject><subject>Mathematical Logic and Formal Languages</subject><subject>Software Engineering</subject><subject>Special Purpose and Application-Based Systems</subject><subject>Theory of Computation</subject><subject>Verification</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540405240</isbn><isbn>9783540405245</isbn><isbn>9783662186855</isbn><isbn>3662186853</isbn><isbn>3540450696</isbn><isbn>9783540450696</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2003</creationdate><recordtype>book</recordtype><sourceid/><recordid>eNptz7tOw0AQBdDlKUwIP0CTAokCGWZ39lkGKzykSDQorbW7noAhxGHt5PtxlJSZZoo5uqPL2DWHBw5gHgPnFvkRu0QlQSrQTh-zjGvOc0TpTvYHUELCKcsAQeTOSDxnmVOotTIgLtiwbb-hHxQCjMrYTdH8rtYdpdG4rqgazSjV8zr6rm6WV-xs7hctDfd7wGbPk4_iNZ--v7wV42nuURgL-dzHPlwFrYiCr7wh0X-0PlgXXTSi8uCsC1pj9KgheOcMSc5NFIpbgzhgt7vgdpXq5SelMjTNT1tyKLfVy131nt0fYD7Fr3pDB_TdTq9S87emtitpyyMtu-QX5eSpQLAWpMV_bgVdgg</recordid><startdate>2003</startdate><enddate>2003</enddate><creator>Hunt, Warren A., Jr</creator><creator>Somenzi, Fabio</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><scope/></search><sort><creationdate>2003</creationdate><title>Computer Aided Verification</title><author>Hunt, Warren A., Jr ; Somenzi, Fabio</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a32780-fac5705b65eebada7e29538ab89c9c72da0989b663ca360ba997e4117c2518733</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2003</creationdate><topic>Computer Science</topic><topic>Computer software</topic><topic>Congresses</topic><topic>Information theory</topic><topic>Logic Design</topic><topic>Logics and Meanings of Programs</topic><topic>Mathematical Logic and Formal Languages</topic><topic>Software Engineering</topic><topic>Special Purpose and Application-Based Systems</topic><topic>Theory of Computation</topic><topic>Verification</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Hunt, Warren A., Jr</creatorcontrib><creatorcontrib>Somenzi, Fabio</creatorcontrib><creatorcontrib>SpringerLink (Online service)</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Hunt, Warren A., Jr</au><au>Somenzi, Fabio</au><au>Hunt, Warren A.</au><au>Somenzi, Fabio</au><aucorp>SpringerLink (Online service)</aucorp><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2003</date><risdate>2003</risdate><volume>2725</volume><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540405240</isbn><isbn>9783540405245</isbn><isbn>9783662186855</isbn><isbn>3662186853</isbn><eisbn>3540450696</eisbn><eisbn>9783540450696</eisbn><cop>Berlin, Heidelberg</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/b11831</doi><oclcid>953665702</oclcid><tpages>473</tpages><edition>1</edition></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_springer_books_10_1007_b11831 |
| source | Springer Books |
| subjects | Computer Science Computer software Congresses Information theory Logic Design Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Special Purpose and Application-Based Systems Theory of Computation Verification |
| title | Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-19T04%3A25%3A28IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_sprin&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Computer%20Aided%20Verification:%2015th%20International%20Conference,%20CAV%202003,%20Boulder,%20CO,%20USA,%20July%208-12,%202003,%20Proceedings&rft.au=Hunt,%20Warren%20A.,%20Jr&rft.aucorp=SpringerLink%20(Online%20service)&rft.date=2003&rft.volume=2725&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540405240&rft.isbn_list=9783540405245&rft.isbn_list=9783662186855&rft.isbn_list=3662186853&rft_id=info:doi/10.1007/b11831&rft_dat=%3Cproquest_sprin%3EEBC3088048%3C/proquest_sprin%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540450696&rft.eisbn_list=9783540450696&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3088048&rft_id=info:pmid/&rfr_iscdi=true |