001440884 000__ 03733cam\a2200673\a\4500
001440884 001__ 1440884
001440884 003__ OCoLC
001440884 005__ 20230309004707.0
001440884 006__ m\\\\\o\\d\\\\\\\\
001440884 007__ cr\un\nnnunnun
001440884 008__ 211113s2021\\\\sz\\\\\\o\\\\\101\0\eng\d
001440884 019__ $$a1285366375$$a1285448649$$a1285490153$$a1285784994$$a1292518226$$a1294351517
001440884 020__ $$a9783030908706$$q(electronic bk.)
001440884 020__ $$a3030908704$$q(electronic bk.)
001440884 020__ $$z3030908690$$q(print)
001440884 020__ $$z9783030908690$$q(print)
001440884 0247_ $$a10.1007/978-3-030-90870-6$$2doi
001440884 035__ $$aSP(OCoLC)1285171495
001440884 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dYDX$$dGW5XE$$dOCLCF$$dDKU$$dOCLCO$$dDCT$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001440884 049__ $$aISEA
001440884 050_4 $$aQA76.9.F67
001440884 08204 $$a004.01/51$$223
001440884 1112_ $$aInternational Symposium of Formal Methods Europe$$n(24th :$$d2021 :$$cOnline)
001440884 24510 $$aFormal methods :$$b24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings /$$cMarieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.).
001440884 2463_ $$aFM 2021
001440884 260__ $$aCham, Switzerland :$$bSpringer,$$c2021.
001440884 300__ $$a1 online resource (801 pages)
001440884 336__ $$atext$$btxt$$2rdacontent
001440884 337__ $$acomputer$$bc$$2rdamedia
001440884 338__ $$aonline resource$$bcr$$2rdacarrier
001440884 347__ $$atext file
001440884 347__ $$bPDF
001440884 4901_ $$aLecture notes in computer science ;$$v13047
001440884 4901_ $$aFormal methods
001440884 4901_ $$aLNCS sublibrary, SL 2, Programming and software engineering
001440884 500__ $$aIncludes author index.
001440884 5050_ $$aInvited Presentations. -- Interactive Theorem Proving -- Neural Networks & Active Learning -- Logics & Theory -- Program Verification I -- Hybrid Systems -- Program Verification II -- Automata -- Analysis of Complex Systems -- Probabilities -- Industry Track Invited Papers -- Industry Track -- Divide et Impera: Efficient Synthesis of Cyber-Physical System.
001440884 506__ $$aAccess limited to authorized users.
001440884 520__ $$aThis book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.
001440884 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed November 22, 2021).
001440884 650_0 $$aFormal methods (Computer science)$$vCongresses.
001440884 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001440884 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001440884 655_7 $$aConference papers and proceedings.$$2lcgft
001440884 655_7 $$aActes de congrès.$$2rvmgf
001440884 655_0 $$aElectronic books.
001440884 7001_ $$aHuisman, Marieke.
001440884 7001_ $$aPăsăreanu, Corina S.
001440884 7001_ $$aZhan, Naijun.
001440884 77608 $$iPrint version:$$aHuisman, Marieke.$$tFormal Methods.$$dCham : Springer International Publishing AG, ©2021$$z9783030908690
001440884 830_0 $$aLecture notes in computer science ;$$v13047.
001440884 830_0 $$aLecture notes in computer science.$$pFormal methods.
001440884 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001440884 852__ $$bebk
001440884 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-90870-6$$zOnline Access$$91397441.1
001440884 909CO $$ooai:library.usi.edu:1440884$$pGLOBAL_SET
001440884 980__ $$aBIB
001440884 980__ $$aEBOOK
001440884 982__ $$aEbook
001440884 983__ $$aOnline
001440884 994__ $$a92$$bISE