000945405 000__ 02514cam\a2200529Mi\4500
000945405 001__ 945405
000945405 005__ 20230306152519.0
000945405 006__ m\\\\\o\\d\\\\\\\\
000945405 007__ cr\nn\nnnunnun
000945405 008__ 201016s2020\\\\gw\\\\\\o\\\\\|||\0\eng\d
000945405 019__ $$a1201225499
000945405 020__ $$a3030581675
000945405 020__ $$a9783030581671
000945405 020__ $$z3030581667
000945405 020__ $$z9783030581664
000945405 0247_ $$a10.1007/978-3-030-58167-1$$2doi
000945405 035__ $$aSP(OCoLC)on1204151980
000945405 035__ $$aSP(OCoLC)1204151980$$z(OCoLC)1201225499
000945405 040__ $$aSFB$$beng$$cSFB$$dOCLCO$$dYDX
000945405 049__ $$aISEA
000945405 050_4 $$aQA76.758
000945405 08204 $$a005.1$$223
000945405 24500 $$aSystems Modelling and Management :$$bFirst International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings /$$cedited by Önder Babur, Joachim Denil, Birgit Vogel-Heuser.
000945405 250__ $$a1st ed. 2020.
000945405 264_1 $$aCham :$$bSpringer International Publishing :$$bImprint: Springer,$$c2020.
000945405 300__ $$a1 online resource (XII, 197 pages) :$$billustrations.
000945405 336__ $$atext$$btxt$$2rdacontent
000945405 337__ $$acomputer$$bc$$2rdamedia
000945405 338__ $$aonline resource$$bcr$$2rdacarrier
000945405 4901_ $$aCommunications in Computer and Information Science,$$x1865-0929 ;$$v1262
000945405 5050_ $$aVerification and Validation -- Applications -- Methods, Techniques and Tools.
000945405 506__ $$aAccess limited to authorized users.
000945405 520__ $$aThis book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.
000945405 650_0 $$aSoftware engineering.
000945405 650_0 $$aComputer software.
000945405 650_0 $$aComputer architecture.
000945405 650_0 $$aComputer programming.
000945405 650_0 $$aArtificial intelligence.
000945405 650_0 $$aMicroprogramming.
000945405 7001_ $$aBabur, Önder.$$eeditor.
000945405 7001_ $$aDenil, Joachim.$$eeditor.
000945405 7001_ $$aVogel-Heuser, Birgit.$$eeditor.
000945405 830_0 $$aCommunications in computer and information science ;$$v1262.$$x1865-0929
000945405 852__ $$bebk
000945405 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-58167-1$$zOnline Access$$91397441.1
000945405 909CO $$ooai:library.usi.edu:945405$$pGLOBAL_SET
000945405 980__ $$aEBOOK
000945405 980__ $$aBIB
000945405 982__ $$aEbook
000945405 983__ $$aOnline
000945405 994__ $$a92$$bISE