Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hermanns, Holger, Palsberg, Jens
Format:	Buch
Sprache:	eng
Schlagworte:	Computer software Congresses Development
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	3920
creator	Hermanns, Holger Palsberg, Jens
description
format	Book
fullrecord	<record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_ebookcentral_EBC3068007</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3068007</sourcerecordid><originalsourceid>FETCH-LOGICAL-a42900-1b1757f907fa5f805f1863a9e4600e1307fdbcab6bd7656683f432a9e268c3ca3</originalsourceid><addsrcrecordid>eNpVjD9PwzAUxI1QEVXJd_DGFOnZL352xhCVP1IlBirWyknsNpDGELtDvz2RytJbTve7092wrNQGVQGIoLS5vcok7thSkqRSahD3LIvxC2ahhELQklXbEIbI7djxatiHqU-HY-Q-TDwdHK_DGNN0alMfxstmtMM59pEHzz_OMbljfGALb4fosn9fsc_n9bZ-zTfvL291tcltIUuAXDRCK-1L0N4qb0B5YQht6QoCcAJn3jWtbajpNCkig75AOfeSTIutxRV7vBz_TOH35GLauSaE79aNabLDbv1UI5AB0PgHpRtMJg</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC3068007</pqid></control><display><type>book</type><title>Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings</title><source>Springer Books</source><creator>Hermanns, Holger ; Palsberg, Jens</creator><creatorcontrib>Hermanns, Holger ; Palsberg, Jens</creatorcontrib><edition>1</edition><identifier>ISBN: 9783540330561</identifier><identifier>ISBN: 3540330569</identifier><identifier>EISBN: 9783540330578</identifier><identifier>EISBN: 3540330577</identifier><identifier>OCLC: 262692701</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin / Heidelberg</publisher><subject>Computer software ; Congresses ; Development</subject><creationdate>2006</creationdate><tpages>519</tpages><format>519</format><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>306,780,784,786</link.rule.ids></links><search><creatorcontrib>Hermanns, Holger</creatorcontrib><creatorcontrib>Palsberg, Jens</creatorcontrib><title>Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings</title><subject>Computer software</subject><subject>Congresses</subject><subject>Development</subject><isbn>9783540330561</isbn><isbn>3540330569</isbn><isbn>9783540330578</isbn><isbn>3540330577</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2006</creationdate><recordtype>book</recordtype><sourceid/><recordid>eNpVjD9PwzAUxI1QEVXJd_DGFOnZL352xhCVP1IlBirWyknsNpDGELtDvz2RytJbTve7092wrNQGVQGIoLS5vcok7thSkqRSahD3LIvxC2ahhELQklXbEIbI7djxatiHqU-HY-Q-TDwdHK_DGNN0alMfxstmtMM59pEHzz_OMbljfGALb4fosn9fsc_n9bZ-zTfvL291tcltIUuAXDRCK-1L0N4qb0B5YQht6QoCcAJn3jWtbajpNCkig75AOfeSTIutxRV7vBz_TOH35GLauSaE79aNabLDbv1UI5AB0PgHpRtMJg</recordid><startdate>2006</startdate><enddate>2006</enddate><creator>Hermanns, Holger</creator><creator>Palsberg, Jens</creator><general>Springer Berlin / Heidelberg</general><scope/></search><sort><creationdate>2006</creationdate><title>Tools and Algorithms for the Construction and Analysis of Systems</title><author>Hermanns, Holger ; Palsberg, Jens</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a42900-1b1757f907fa5f805f1863a9e4600e1307fdbcab6bd7656683f432a9e268c3ca3</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Computer software</topic><topic>Congresses</topic><topic>Development</topic><toplevel>online_resources</toplevel><creatorcontrib>Hermanns, Holger</creatorcontrib><creatorcontrib>Palsberg, Jens</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Hermanns, Holger</au><au>Palsberg, Jens</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings</btitle><date>2006</date><risdate>2006</risdate><volume>3920</volume><isbn>9783540330561</isbn><isbn>3540330569</isbn><eisbn>9783540330578</eisbn><eisbn>3540330577</eisbn><cop>Berlin, Heidelberg</cop><pub>Springer Berlin / Heidelberg</pub><oclcid>262692701</oclcid><tpages>519</tpages><edition>1</edition></addata></record>
fulltext	fulltext
identifier	ISBN: 9783540330561
ispartof
issn
language	eng
recordid	cdi_proquest_ebookcentral_EBC3068007
source	Springer Books
subjects	Computer software Congresses Development
title	Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-28T21%3A01%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Tools%20and%20Algorithms%20for%20the%20Construction%20and%20Analysis%20of%20Systems:%2012th%20International%20Conference,%20TACAS%202006,%20Held%20As%20Part%20of%20the%20Joint%20European%20Conferences%20on%20Theory%20and%20Practice%20of%20Software,%20ETAPS%202006,%20Vienna,%20Austria,%20March%2025%20-%20April%202,%202006,%20Proceedings&rft.au=Hermanns,%20Holger&rft.date=2006&rft.volume=3920&rft.isbn=9783540330561&rft.isbn_list=3540330569&rft_id=info:doi/&rft_dat=%3Cproquest%3EEBC3068007%3C/proquest%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540330578&rft.eisbn_list=3540330577&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3068007&rft_id=info:pmid/&rfr_iscdi=true