001483919 000__ 03343cam\\22005297i\4500
001483919 001__ 1483919
001483919 003__ OCoLC
001483919 005__ 20240117003307.0
001483919 006__ m\\\\\o\\d\\\\\\\\
001483919 007__ cr\un\nnnunnun
001483919 008__ 231107s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001483919 020__ $$a9783031436789$$q(electronic bk.)
001483919 020__ $$a3031436784$$q(electronic bk.)
001483919 020__ $$z9783031436772
001483919 0247_ $$a10.1007/978-3-031-43678-9$$2doi
001483919 035__ $$aSP(OCoLC)1407580195
001483919 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dOCLCO$$dOCLCQ
001483919 049__ $$aISEA
001483919 050_4 $$aQA76.9.F67
001483919 08204 $$a004.01/51$$223/eng/20231107
001483919 1112_ $$aICTAC (Summer School)$$d(2021 :$$cOnline)
001483919 24510 $$aFormal methods for an informal world :$$bICTAC 2021 Summer School, virtual event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures /$$cAntonio Cerone, editor.
001483919 2463_ $$aICTAC 2021
001483919 264_1 $$aCham, Switzerland :$$bSpringer,$$c2023.
001483919 300__ $$a1 online resource (xi, 169 pages) :$$billustrations (some color).
001483919 336__ $$atext$$btxt$$2rdacontent
001483919 337__ $$acomputer$$bc$$2rdamedia
001483919 338__ $$aonline resource$$bcr$$2rdacarrier
001483919 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13490
001483919 500__ $$aIncludes author index.
001483919 5050_ $$aModelling Interactions: Digital and Physical -- Modelling and Analysing Cognition and Interaction -- Object-Centric Process Mining: An Introduction -- Model-based engineering for robotics with RoboChart and RoboTool -- Formal Methods Adoption in Industry: An Experience Report -- Security Research: Program Analysis Meets Security.
001483919 506__ $$aAccess limited to authorized users.
001483919 520__ $$aThis volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic. The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understanding and formal and informal analysis. The target audience consists of graduate students, young researchers and industrial practitioners, from both computer science and other fields that make use of computational methods.
001483919 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 7, 2023).
001483919 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001483919 650_0 $$aFormal methods (Computer science)$$vCongresses.$$vCongresses$$0(DLC)sh2008104061
001483919 655_0 $$aElectronic books.
001483919 7001_ $$aCerone, Antonio,$$eeditor.$$1https://orcid.org/0000-0003-2691-5279
001483919 830_0 $$aLecture notes in computer science ;$$v13490.$$x1611-3349
001483919 852__ $$bebk
001483919 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-43678-9$$zOnline Access$$91397441.1
001483919 909CO $$ooai:library.usi.edu:1483919$$pGLOBAL_SET
001483919 980__ $$aBIB
001483919 980__ $$aEBOOK
001483919 982__ $$aEbook
001483919 983__ $$aOnline
001483919 994__ $$a92$$bISE