000705384 000__ 02345cam\a2200517Mi\4500
000705384 001__ 705384
000705384 005__ 20230306135908.0
000705384 006__ m\\\\\o\\d\\\\\\\\
000705384 007__ cr\un\nnnunnun
000705384 008__ 140602s2014\\\\sz\a\\\\o\\\\\101\0\eng\d
000705384 020__ $$a9783319073170$$qelectronic book
000705384 020__ $$a3319073176$$qelectronic book
000705384 0290_ $$aNLGGC$$b375865144
000705384 035__ $$aSP(OCoLC)ocn880841250
000705384 035__ $$aSP(OCoLC)880841250
000705384 040__ $$aNLGGC$$beng$$erda$$cNLGGC$$dOCLCO$$dYDXCP$$dOCLCO$$dGW5XE$$dCOO
000705384 049__ $$aISEA
000705384 050_4 $$aQA76.76.D47$$bI14 2014
000705384 08204 $$a005.1$$223
000705384 1112_ $$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems$$n(14th :$$d2014 :$$cBertinoro, Italy)
000705384 24510 $$aFormal methods for executable software models$$h[electronic resource] :$$b14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures /$$cMarco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen (Eds.).
000705384 2463_ $$aSFM 2014
000705384 260__ $$aCham :$$bSpringer,$$c[2014]
000705384 264_4 $$c©2014
000705384 300__ $$a1 online resource :$$billustrations.
000705384 336__ $$atext$$btxt$$2rdacontent
000705384 337__ $$acomputer$$bc$$2rdamedia
000705384 338__ $$aonline resource$$bcr$$2rdacarrier
000705384 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8483
000705384 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000705384 500__ $$aIncludes author index.
000705384 506__ $$aAccess limited to authorized users.
000705384 588__ $$aDescription based on online resource; title from PDF title page (SpringerLink, viewed June 16, 2014).
000705384 650_0 $$aComputer software$$xDevelopment$$vCongresses.
000705384 650_0 $$aFormal methods (Computer science)$$vCongresses.
000705384 7001_ $$aBernardo, Marco,$$eeditor.
000705384 7001_ $$aDamiani, Ferruccio,$$eeditor.
000705384 7001_ $$aHähnle, Reiner,$$eeditor.
000705384 7001_ $$aJohnsen, Einar Broch,$$eeditor.
000705384 7001_ $$aSchaefer, Ina,$$eeditor.
000705384 830_0 $$aLecture notes in computer science ;$$v8483.$$x1611-3349
000705384 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000705384 85280 $$bebk$$hSpringerLink
000705384 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-07317-0$$zOnline Access
000705384 909CO $$ooai:library.usi.edu:705384$$pGLOBAL_SET
000705384 980__ $$aEBOOK
000705384 980__ $$aBIB
000705384 982__ $$aEbook
000705384 983__ $$aOnline
000705384 994__ $$a92$$bISE