000705035 000__ 03621cam\a2200577Ii\4500
000705035 001__ 705035
000705035 005__ 20230306135904.0
000705035 006__ m\\\\\o\\d\\\\\\\\
000705035 007__ cr\un\nnnunnun
000705035 008__ 140528s2014\\\\gw\a\\\\o\\\\\101\0\eng\d
000705035 0167_ $$a016662084$$2Uk
000705035 019__ $$a879239848
000705035 020__ $$a9783642548628 $$qelectronic book
000705035 020__ $$a3642548628 $$qelectronic book
000705035 020__ $$z9783642548611
000705035 0247_ $$a10.1007/978-3-642-54862-8$$2doi
000705035 035__ $$aSP(OCoLC)ocn880631571
000705035 035__ $$aSP(OCoLC)880631571$$z(OCoLC)879239848
000705035 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dUKMGB$$dA7U$$dCOO$$dOCLCO
000705035 049__ $$aISEA
000705035 050_4 $$aQA76.9.S88$$bT33 2014
000705035 08204 $$a004.2/1$$223
000705035 1112_ $$aTACAS (Conference)$$n(20th :$$d2014 :$$cGrenoble, France)
000705035 24510 $$aTools and algorithms for the construction and analysis of systems :$$b20th International Conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /$$cErika Ábrahám, Klaus Havelund (eds.).
000705035 2463_ $$aTACAS 2014
000705035 264_1 $$aHeidelberg :$$bSpringer,$$c2014.
000705035 300__ $$a1 online resource (xviii, 652 pages) :$$billustrations.
000705035 336__ $$atext$$btxt$$2rdacontent
000705035 337__ $$acomputer$$bc$$2rdamedia
000705035 338__ $$aonline resource$$bcr$$2rdacarrier
000705035 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8413
000705035 4901_ $$aAdvanced research in computing and software science
000705035 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000705035 500__ $$aInternational conference proceedings.
000705035 500__ $$aIncludes author index.
000705035 506__ $$aAccess limited to authorized users.
000705035 520__ $$aThis book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The total of 42 papers included in this volume, consisting of 26 research papers, 3 case study papers, 6 regular tool papers and 7 tool demonstrations papers, were carefully reviewed and selected from 161 submissions. In addition the book contains one invited contribution. The papers are organized in topical sections named: decision procedures and their application in analysis; complexity and termination analysis; modeling and model checking discrete systems; timed and hybrid systems; monitoring, fault detection and identification; competition on software verification; specifying and checking linear time properties; synthesis and learning; quantum and probabilistic systems; as well as tool demonstrations and case studies.
000705035 588__ $$aDescription based on online resource; title from PDF title page (SpringerLink, viewed May 28, 2014).
000705035 650_0 $$aSystem design$$vCongresses.
000705035 650_0 $$aComputer software$$xVerification$$vCongresses.
000705035 650_0 $$aSystem analysis$$vCongresses.
000705035 7001_ $$aÁbrahám, Erika,$$eeditor.
000705035 7001_ $$aHavelund, Klaus,$$d1955-$$eeditor.
000705035 7112_ $$aETAPS (Conference)$$n(17th :$$d2014 :$$cGrenoble, France)
000705035 830_0 $$aLecture notes in computer science ;$$v8413.$$x0302-9743
000705035 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
000705035 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000705035 85280 $$bebk$$hSpringerLink
000705035 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-642-54862-8$$zOnline Access
000705035 909CO $$ooai:library.usi.edu:705035$$pGLOBAL_SET
000705035 980__ $$aEBOOK
000705035 980__ $$aBIB
000705035 982__ $$aEbook
000705035 983__ $$aOnline
000705035 994__ $$a92$$bISE