000937590 000__ 02507cam\a2200529Ii\4500
000937590 001__ 937590
000937590 005__ 20230306151841.0
000937590 006__ m\\\\\o\\d\\\\\\\\
000937590 007__ cr\cn\nnnunnun
000937590 008__ 200629s2020\\\\sz\a\\\\o\\\\\101\0\eng\d
000937590 020__ $$a9783030500863$$q(electronic book)
000937590 020__ $$a3030500861$$q(electronic book)
000937590 020__ $$z9783030500856
000937590 0247_ $$a10.1007/978-3-030-50086-3$$2doi
000937590 035__ $$aSP(OCoLC)on1160195793
000937590 035__ $$aSP(OCoLC)1160195793
000937590 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO
000937590 049__ $$aISEA
000937590 050_4 $$aQA76.9.D5
000937590 08204 $$a004.36$$223
000937590 1112_ $$aFORTE Conference$$n(40th :$$d2020 :$$cOnline)
000937590 24510 $$aFormal techniques for distributed objects, components, and systems :$$b40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings /$$cAlexey Gotsman, Ana Sokolova (eds.).
000937590 2463_ $$aFORTE 2020
000937590 264_1 $$aCham, Switzerland :$$bSpringer,$$c2020.
000937590 300__ $$a1 online resource (xii, 237 pages) :$$billustrations.
000937590 336__ $$atext$$btxt$$2rdacontent
000937590 337__ $$acomputer$$bc$$2rdamedia
000937590 338__ $$aonline resource$$bcr$$2rdacarrier
000937590 4901_ $$aLecture notes in computer science ;$$v12136
000937590 4901_ $$aLNCS Sublibrary: SL 2, Programming and Software Engineering
000937590 500__ $$aIncludes author index.
000937590 500__ $$aInternational conference proceedings.
000937590 500__ $$aThe title page lists Valletta, Malta as the location. However, the summary states "The conference was held virtually due to the COVID-19 pandemic. "
000937590 506__ $$aAccess limited to authorized users.
000937590 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 29, 2020).
000937590 650_0 $$aElectronic data processing$$xDistributed processing$$vCongresses.
000937590 650_0 $$aFormal methods (Computer science)$$vCongresses.
000937590 650_0 $$aComputer network protocols$$vCongresses.
000937590 7001_ $$aGotsman, Alexey,$$eeditor.
000937590 7001_ $$aSokolova, Ana,$$eeditor.
000937590 7112_ $$aInternational Federated Conferences on Distributed Computing Techniques$$n(15th :$$d2020 :$$cOnline)
000937590 830_0 $$aLecture notes in computer science ;$$v12136.
000937590 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000937590 852__ $$bebk
000937590 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-50086-3$$zOnline Access$$91397441.1
000937590 909CO $$ooai:library.usi.edu:937590$$pGLOBAL_SET
000937590 980__ $$aEBOOK
000937590 980__ $$aBIB
000937590 982__ $$aEbook
000937590 983__ $$aOnline
000937590 994__ $$a92$$bISE