000727124 000__ 02610cam\a2200493Ii\4500
000727124 001__ 727124
000727124 005__ 20230306140801.0
000727124 006__ m\\\\\o\\d\\\\\\\\
000727124 007__ cr\cn\nnnunnun
000727124 008__ 150515s2015\\\\sz\a\\\\o\\\\\101\0\eng\d
000727124 020__ $$a9783319189413$$qelectronic book
000727124 020__ $$a3319189417$$qelectronic book
000727124 020__ $$z9783319189406
000727124 0247_ $$a10.1007/978-3-319-18941-3$$2doi
000727124 035__ $$aSP(OCoLC)ocn909024350
000727124 035__ $$aSP(OCoLC)909024350
000727124 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDXCP$$dNUI$$dVLB
000727124 049__ $$aISEA
000727124 050_4 $$aQA76.76.D47$$bI58 2015eb
000727124 08204 $$a005.1$$223
000727124 1112_ $$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems$$n(15th :$$d2015 :$$cBertinoro, Italy)
000727124 24510 $$aFormal methods for multicore programming$$h[electronic resource] :$$b15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /$$cMarco Bernardo, Einar Broch Johnsen (eds.).
000727124 2463_ $$aSFM 2015
000727124 264_1 $$aCham :$$bSpringer,$$c2015.
000727124 300__ $$a1 online resource (vii, 211 pages) :$$billustrations.
000727124 336__ $$atext$$btxt$$2rdacontent
000727124 337__ $$acomputer$$bc$$2rdamedia
000727124 338__ $$aonline resource$$bcr$$2rdacarrier
000727124 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9104
000727124 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000727124 500__ $$aIncludes author index.
000727124 506__ $$aAccess limited to authorized users.
000727124 520__ $$aThis book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.
000727124 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 15, 2015).
000727124 650_0 $$aComputer software$$xDevelopment$$vCongresses.
000727124 650_0 $$aFormal methods (Computer science)$$vCongresses.
000727124 7001_ $$aBernardo, Marco,$$eeditor.
000727124 7001_ $$aJohnsen, Einar Broch,$$eeditor.
000727124 830_0 $$aLecture notes in computer science ;$$v9104.
000727124 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000727124 852__ $$bebk
000727124 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-18941-3$$zOnline Access$$91397441.1
000727124 909CO $$ooai:library.usi.edu:727124$$pGLOBAL_SET
000727124 980__ $$aEBOOK
000727124 980__ $$aBIB
000727124 982__ $$aEbook
000727124 983__ $$aOnline
000727124 994__ $$a92$$bISE