000933282 000__ 02849cam\a2200529Mi\4500
000933282 001__ 933282
000933282 005__ 20230306151809.0
000933282 006__ m\\\\\o\\d\\\\\\\\
000933282 007__ cr\nn\nnnunnun
000933282 008__ 200514s2020\\\\gw\\\\\\o\\\\\|||\0\eng\d
000933282 019__ $$a1155996529
000933282 020__ $$a9783030480776
000933282 020__ $$a3030480771
000933282 020__ $$z9783030480769
000933282 0247_ $$a10.1007/978-3-030-48077-6$$2doi
000933282 035__ $$aSP(OCoLC)on1157260884
000933282 035__ $$aSP(OCoLC)1157260884$$z(OCoLC)1155996529
000933282 040__ $$aUPM$$beng$$cUPM$$dOCLCO$$dEBLCP$$dGW5XE
000933282 049__ $$aISEA
000933282 050_4 $$aQA8.9-10.3
000933282 08204 $$a005.131$$223
000933282 24500 $$aRigorous State-Based Methods :$$b7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings /$$cedited by Alexander Raschke, Dominique Méry, Frank Houdek.
000933282 250__ $$a1st ed. 2020.
000933282 264_1 $$aCham :$$bSpringer International Publishing :$$bImprint: Springer,$$c2020.
000933282 300__ $$a1 online resource (xii, 428 pages) :$$billustrations.
000933282 336__ $$atext$$btxt$$2rdacontent
000933282 337__ $$acomputer$$bc$$2rdamedia
000933282 338__ $$aonline resource$$bcr$$2rdacarrier
000933282 347__ $$atext file$$bPDF$$2rda
000933282 4901_ $$aTheoretical Computer Science and General Issues ;$$v12071
000933282 5050_ $$aKeynotes and Invited Papers -- Regular Research Articles -- Short Articles -- Articles Contributing to the Case Study -- Short Articles of the PhD-Symposium (Work in Progress).
000933282 506__ $$aAccess limited to authorized users.
000933282 520__ $$aThis book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).
000933282 650_0 $$aLogic, Symbolic and mathematical.
000933282 650_0 $$aArtificial intelligence.
000933282 650_0 $$aComputer organization.
000933282 650_0 $$aSoftware engineering.
000933282 650_0 $$aMicroprogramming.
000933282 7001_ $$aRaschke, Alexander,$$eeditor.
000933282 7001_ $$aMéry, Dominique,$$eeditor.
000933282 7001_ $$aHoudek, Frank,$$eeditor.
000933282 77608 $$iPrint version:$$z9783030480769
000933282 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues ;$$v12071.
000933282 852__ $$bebk
000933282 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-48077-6$$zOnline Access$$91397441.1
000933282 909CO $$ooai:library.usi.edu:933282$$pGLOBAL_SET
000933282 980__ $$aEBOOK
000933282 980__ $$aBIB
000933282 982__ $$aEbook
000933282 983__ $$aOnline
000933282 994__ $$a92$$bISE