000733833 000__ 02748cam\a2200529Ii\4500
000733833 001__ 733833
000733833 005__ 20230306141107.0
000733833 006__ m\\\\\o\\d\\\\\\\\
000733833 007__ cr\|n\nnnunnun
000733833 008__ 150902s2015\\\\sz\a\\\\ob\\\\011\0\eng\d
000733833 020__ $$a9783319231655$$qelectronic book
000733833 020__ $$a3319231650$$qelectronic book
000733833 020__ $$z9783319231648
000733833 020__ $$z3319231642
000733833 035__ $$aSP(OCoLC)ocn919684606
000733833 035__ $$aSP(OCoLC)919684606
000733833 040__ $$aYDXCP$$beng$$erda$$epn$$cYDXCP$$dGW5XE$$dUPM$$dOCLCF
000733833 049__ $$aISEA
000733833 050_4 $$aQA76
000733833 08204 $$a004$$223
000733833 24500 $$aLogic, rewriting, and concurrency$$h[electronic resource] :$$bessays dedicated to José Meseguer on the occasion of his 65th birthday /$$cNarciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott, (eds.).
000733833 264_1 $$aCham :$$bSpringer,$$c[2015]
000733833 300__ $$a1 online resource (xi, 634 pages) :$$billustrations.
000733833 336__ $$atext$$btxt$$2rdacontent
000733833 337__ $$acomputer$$bc$$2rdamedia
000733833 338__ $$aonline resource$$bcr$$2rdacarrier
000733833 4901_ $$aLecture notes in computer science ;$$v9200
000733833 4901_ $$aLNCS Sublibrary: SL 1, Theoretical computer science and general issues
000733833 504__ $$aIncludes bibliographical references and author index.
000733833 506__ $$aAccess limited to authorized users.
000733833 520__ $$aThis Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of José's many scientific achievements followed by a bibliography of papers written by José.
000733833 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 3, 2015).
000733833 650_0 $$aComputer science.
000733833 650_0 $$aComputer software$$xDevelopment.
000733833 650_0 $$aComputer logic.
000733833 650_0 $$aComputer multitasking.
000733833 7001_ $$aMeseguer, José,$$ehonoree.
000733833 7001_ $$aMartí-Oliet, N.$$q(Narciso),$$eeditor.
000733833 7001_ $$aÖlveczky, Peter Csaba,$$eeditor.
000733833 7001_ $$aTalcott, Carolyn L.,$$eeditor.
000733833 77608 $$iPrint version:$$z9783319231648$$z3319231642$$w(OCoLC)915119833
000733833 830_0 $$aLecture notes in computer science ;$$v9200.
000733833 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000733833 852__ $$bebk
000733833 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-23165-5$$zOnline Access$$91397441.1
000733833 909CO $$ooai:library.usi.edu:733833$$pGLOBAL_SET
000733833 980__ $$aEBOOK
000733833 980__ $$aBIB
000733833 982__ $$aEbook
000733833 983__ $$aOnline
000733833 994__ $$a92$$bISE