000726458 000__ 03501cam\a2200565Ii\4500
000726458 001__ 726458
000726458 005__ 20230306140822.0
000726458 006__ m\\\\\o\\d\\\\\\\\
000726458 007__ cr\cn\nnnunnun
000726458 008__ 150409s2015\\\\gw\a\\\\o\\\\\101\0\eng\d
000726458 020__ $$a9783662466810$$qelectronic book
000726458 020__ $$a3662466813$$qelectronic book
000726458 020__ $$z9783662466803
000726458 0247_ $$a10.1007/978-3-662-46681-0$$2doi
000726458 035__ $$aSP(OCoLC)ocn906936842
000726458 035__ $$aSP(OCoLC)906936842
000726458 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dUPM$$dCOO$$dYDXCP$$dOCLCF$$dOCLCO$$dVLB
000726458 049__ $$aISEA
000726458 050_4 $$aQA76.9.S88$$bT33 2015eb
000726458 08204 $$a004.2/1$$223
000726458 1112_ $$aTACAS (Conference)$$n(21st :$$d2015 :$$cLondon, England)
000726458 24510 $$aTools and algorithms for the construction and analysis of systems$$h[electronic resource] :$$b21st International Conference, TACAS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /$$cChristel Baier, Cesare Tinelli (eds.).
000726458 2463_ $$aTACAS 2015
000726458 264_1 $$aHeidelberg :$$bSpringer,$$c2015.
000726458 300__ $$a1 online resource (xviii, 725 pages) :$$billustrations.
000726458 336__ $$atext$$btxt$$2rdacontent
000726458 337__ $$acomputer$$bc$$2rdamedia
000726458 338__ $$aonline resource$$bcr$$2rdacarrier
000726458 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9035
000726458 4901_ $$aAdvanced research in computing and software science
000726458 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000726458 500__ $$aInternational conference proceedings.
000726458 500__ $$aIncludes author index.
000726458 506__ $$aAccess limited to authorized users.
000726458 520__ $$aThis book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in topical sections on hybrid systems; program analysis; verification and abstraction; tool demonstrations; stochastic models; SAT and SMT; partial order reduction, bisimulation, and fairness; competition on software verification; parameter synthesis; program synthesis; program and runtime verification; temporal logic and automata and model checking.
000726458 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 9, 2015).
000726458 650_0 $$aSystem design$$vCongresses.
000726458 650_0 $$aComputer software$$xVerification$$vCongresses.
000726458 650_0 $$aSystem analysis$$vCongresses.
000726458 7001_ $$aBaier, Christel,$$eeditor.
000726458 7001_ $$aTinelli, C.$$q(Cesare),$$eeditor.
000726458 7112_ $$aETAPS (Conference)$$n(18th :$$d2015 :$$cLondon, England)
000726458 77608 $$iPrint version:$$z9783662466803
000726458 830_0 $$aLecture notes in computer science ;$$v9035.
000726458 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
000726458 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000726458 852__ $$bebk
000726458 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-46681-0$$zOnline Access$$91397441.1
000726458 909CO $$ooai:library.usi.edu:726458$$pGLOBAL_SET
000726458 980__ $$aEBOOK
000726458 980__ $$aBIB
000726458 982__ $$aEbook
000726458 983__ $$aOnline
000726458 994__ $$a92$$bISE