000706547 000__ 02433cam\a2200529Ii\4500
000706547 001__ 706547
000706547 005__ 20230306140108.0
000706547 006__ m\\\\\o\\d\\\\\\\\
000706547 007__ cr\un\nnnunnun
000706547 008__ 140717s2014\\\\gw\a\\\\ob\\\\111\0\eng\d
000706547 020__ $$a9783642548482$$qelectronic book
000706547 020__ $$a3642548482$$qelectronic book
000706547 020__ $$z9783642548475
000706547 0247_ $$a10.1007/978-3-642-54848-2$$2doi
000706547 035__ $$aSP(OCoLC)ocn883836180
000706547 035__ $$aSP(OCoLC)883836180
000706547 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDXCP
000706547 049__ $$aISEA
000706547 050_4 $$aQA76.751
000706547 08204 $$a004$$223
000706547 1112_ $$aFPS (Workshop)$$d(2014 :$$cGrenoble, France)
000706547 24510 $$aFrom programs to systems - the systems perspective in computing$$h[electronic resource] :$$bETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings /$$cSaddek Bensalem, Yassine Lakhneck, Axel Legay (eds.).
000706547 264_1 $$aHeidelberg :$$bSpringer,$$c[2014]
000706547 300__ $$a1 online resource (xii, 277 pages) :$$billustrations (black and white).
000706547 336__ $$atext$$btxt$$2rdacontent
000706547 337__ $$acomputer$$bc$$2rdamedia
000706547 338__ $$aonline resource$$bcr$$2rdacarrier
000706547 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v8415
000706547 4901_ $$aLNCS sublibrary. SL 1,  Theoretical computer science and general issues
000706547 500__ $$aInternational conference proceedings.
000706547 504__ $$aIncludes bibliographical references and author index.
000706547 506__ $$aAccess limited to authorized users.
000706547 588__ $$aDescription based on print version record.
000706547 650_0 $$aComputer programs$$vCongresses.
000706547 650_0 $$aComputer systems$$vCongresses.
000706547 7001_ $$aBensalem, Saddek,$$eeditor of compilation.
000706547 7001_ $$aLakhnech, Y.$$q(Yassine),$$eeditor of compilation.
000706547 7001_ $$aLegay, Axel,$$eeditor of compilation.
000706547 7001_ $$aSifakis, J.$$q(Joseph),$$d1946-$$ehonouree.
000706547 7112_ $$aETAPS (Conference)$$n(17th :$$d2014 :$$cGrenoble, France)
000706547 77608 $$iPrint version:$$aFPS (Workshop) (2014 : Grenoble, France).$$tFrom programs to systems - the systems perspective in computing$$z9783642548475$$w(OCoLC)881012092
000706547 830_0 $$aLecture notes in computer science ;$$v8415.
000706547 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000706547 85280 $$bebk$$hSpringerLink
000706547 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-642-54848-2$$zOnline Access
000706547 909CO $$ooai:library.usi.edu:706547$$pGLOBAL_SET
000706547 980__ $$aEBOOK
000706547 980__ $$aBIB
000706547 982__ $$aEbook
000706547 983__ $$aOnline
000706547 994__ $$a92$$bISE