001454895 000__ 02735nam\a22004937i\4500
001454895 001__ 1454895
001454895 003__ OCoLC
001454895 005__ 20230314003233.0
001454895 006__ m\\\\\o\\d\\\\\\\\
001454895 007__ cr\un\nnnunnun
001454895 008__ 230228s2023\\\\sz\a\\\\o\\\\\100\0\eng\d
001454895 020__ $$a9783031275340$$q(electronic bk.)
001454895 020__ $$a3031275349$$q(electronic bk.)
001454895 020__ $$z9783031275333
001454895 0247_ $$a10.1007/978-3-031-27534-0$$2doi
001454895 035__ $$aSP(OCoLC)1371284387
001454895 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE
001454895 049__ $$aISEA
001454895 050_4 $$aQA76.9.F67$$bF67 2023eb
001454895 08204 $$a004.1/51$$223/eng/20230228
001454895 1112_ $$aFormal Methods Teaching Workshop and Tutorial$$n(5th :$$d2023 :$$cLübeck, Germany)
001454895 24510 $$aFormal methods teaching :$$b5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /$$cedited by Catherine Dubois, Pierluigi San Pietro.
001454895 2463_ $$aFMTea 2023
001454895 264_1 $$aCham :$$bSpringer,$$c2023.
001454895 300__ $$a1 online resource (ix, 105 pages) :$$billustrations (some color).
001454895 336__ $$atext$$btxt$$2rdacontent
001454895 337__ $$acomputer$$bc$$2rdamedia
001454895 338__ $$aonline resource$$bcr$$2rdacarrier
001454895 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13962
001454895 5050_ $$aAutomated Exercise Generation for Satisfiability Checking -- Graphical Loop Invariant Based Programming -- A Gentle Introduction to Verification of Parameterized Reactive Systems -- Model Checking Concurrent Programs for Autograding in pseuCo Book -- Teaching TLA+ to Engineers at Microsoft -- Teaching and Training in Formalisation with B -- Teaching low-code Formal Methods with Coloured Petri Nets.
001454895 506__ $$aAccess limited to authorized users.
001454895 520__ $$aThis book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lubeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.
001454895 588__ $$aPublisher supplied information.
001454895 650_0 $$aFormal methods (Computer science)$$vCongresses.
001454895 655_0 $$aElectronic books.
001454895 7001_ $$aDubois, Catherine,$$eeditor.$$1https://orcid.org/0000-0002-9477-8109
001454895 7001_ $$aSan Pietro, Pierluigi,$$eeditor.$$0(orcid)0000-0002-2437-8716$$1https://orcid.org/0000-0002-2437-8716
001454895 830_0 $$aLecture notes in computer science ;$$v13962.$$x1611-3349
001454895 852__ $$bebk
001454895 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-27534-0$$zOnline Access$$91397441.1
001454895 909CO $$ooai:library.usi.edu:1454895$$pGLOBAL_SET
001454895 980__ $$aBIB
001454895 980__ $$aEBOOK
001454895 982__ $$aEbook
001454895 983__ $$aOnline
001454895 994__ $$a92$$bISE