000839243 000__ 03037cam\a2200589Ii\4500
000839243 001__ 839243
000839243 005__ 20230306144649.0
000839243 006__ m\\\\\o\\d\\\\\\\\
000839243 007__ cr\un\nnnunnun
000839243 008__ 180515s2018\\\\sz\a\\\\o\\\\\101\0\eng\d
000839243 019__ $$a1036762655$$a1040613091
000839243 020__ $$a9783319912714$$q(electronic book)
000839243 020__ $$a3319912712$$q(electronic book)
000839243 020__ $$z9783319912707
000839243 020__ $$z3319912704
000839243 0247_ $$a10.1007/978-3-319-91271-4$$2doi
000839243 035__ $$aSP(OCoLC)on1035633152
000839243 035__ $$aSP(OCoLC)1035633152$$z(OCoLC)1036762655$$z(OCoLC)1040613091
000839243 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dAZU$$dUAB$$dOCLCF$$dOCLCO$$dOCLCQ
000839243 049__ $$aISEA
000839243 050_4 $$aQ325.5
000839243 08204 $$a006.3/1$$223
000839243 1112_ $$aABZ (Conference)$$n(6th :$$d2018 :$$cSouthampton, England)
000839243 24510 $$aAbstract state machines, Alloy, B, TLA, VDM, and Z :$$b6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /$$cMichael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.).
000839243 2463_ $$aABZ 2018
000839243 264_1 $$aCham, Switzerland :$$bSpringer,$$c2018.
000839243 300__ $$a1 online resource (xiv, 432 pages) :$$billustrations.
000839243 336__ $$atext$$btxt$$2rdacontent
000839243 337__ $$acomputer$$bc$$2rdamedia
000839243 338__ $$aonline resource$$bcr$$2rdacarrier
000839243 347__ $$atext file$$bPDF$$2rda
000839243 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10817
000839243 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000839243 500__ $$aInternational conference proceedings.
000839243 500__ $$aIncludes author index.
000839243 5050_ $$aInvited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers.
000839243 506__ $$aAccess limited to authorized users.
000839243 520__ $$aThis book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
000839243 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed May 15, 2018).
000839243 650_0 $$aMachine learning$$vCongresses.
000839243 650_0 $$aMachine theory$$vCongresses.
000839243 7001_ $$aButler, Michael,$$d1967-$$eeditor.
000839243 7001_ $$aRaschke, Alexander,$$eeditor.
000839243 7001_ $$aHoang, Thai Son,$$eeditor.
000839243 7001_ $$aReichl, Klaus,$$eeditor.
000839243 77608 $$iPrint version: $$z3319912704$$z9783319912707$$w(OCoLC)1030898813
000839243 830_0 $$aLecture notes in computer science ;$$v10817.$$x0302-9743
000839243 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000839243 852__ $$bebk
000839243 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-91271-4$$zOnline Access$$91397441.1
000839243 909CO $$ooai:library.usi.edu:839243$$pGLOBAL_SET
000839243 980__ $$aEBOOK
000839243 980__ $$aBIB
000839243 982__ $$aEbook
000839243 983__ $$aOnline
000839243 994__ $$a92$$bISE