001435793 000__ 03937cam\a2200613\i\4500
001435793 001__ 1435793
001435793 003__ OCoLC
001435793 005__ 20230309003953.0
001435793 006__ m\\\\\o\\d\\\\\\\\
001435793 007__ cr\cn\nnnunnun
001435793 008__ 210414s2021\\\\sz\a\\\\o\\\\\101\0\eng\d
001435793 020__ $$a9783030737856$$q(electronic bk.)
001435793 020__ $$a3030737853$$q(electronic bk.)
001435793 020__ $$z9783030737849
001435793 0247_ $$a10.1007/978-3-030-73785-6$$2doi
001435793 035__ $$aSP(OCoLC)1246172436
001435793 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dEBLCP$$dOCLCF$$dOCLCQ$$dOCLCO$$dCOM$$dOCLCQ
001435793 049__ $$aISEA
001435793 050_4 $$aQA76.76.D47
001435793 08204 $$a005.1$$223
001435793 1112_ $$aWADT (Workshop)$$n(25th :$$d2020 :$$cOnline)
001435793 24510 $$aRecent trends in algebraic development techniques :$$b25th international workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers /$$cMarkus Roggenbach (ed.).
001435793 24630 $$aWADT 2020
001435793 264_1 $$aCham :$$bSpringer,$$c[2021]
001435793 300__ $$a1 online resource (ix, 165 pages) :$$billustrations (some color)
001435793 336__ $$atext$$btxt$$2rdacontent
001435793 337__ $$acomputer$$bc$$2rdamedia
001435793 338__ $$aonline resource$$bcr$$2rdacarrier
001435793 4901_ $$aLecture notes in computer science ;$$v12669
001435793 4901_ $$aLNCS sublibrary: SL1 - Theoretical computer science and general issues
001435793 500__ $$aInternational conference proceedings.
001435793 500__ $$aIncludes author index.
001435793 5050_ $$aInvited Paper -- On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract) -- Contributed Papers -- The wheel of rational numbers as an abstract data type -- Towards General Axiomatizations for Bisimilarity and Trace Semantics -- Monographs, a Category of Graph Structures -- Parallel Coherent Graph Transformations -- K and KIV: Towards Deductive Verification for Arbitrary Programming Languages -- Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS -- Structure-Preserving Diagram Operators.
001435793 506__ $$aAccess limited to authorized users.
001435793 520__ $$aThis book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020. The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).
001435793 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 14, 2021).
001435793 650_0 $$aComputer software$$xDevelopment$$vCongresses.
001435793 650_0 $$aComputer science$$xMathematics$$vCongresses.
001435793 650_0 $$aFormal methods (Computer science)$$vCongresses.
001435793 650_6 $$aInformatique$$xMathématiques$$vCongrès.
001435793 650_6 $$aMéthodes formelles (Informatique)$$vCongrès.
001435793 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001435793 655_7 $$aConference papers and proceedings.$$2lcgft
001435793 655_7 $$aActes de congrès.$$2rvmgf
001435793 655_0 $$aElectronic books.
001435793 7001_ $$aRoggenbach, Markus,$$eeditor.
001435793 830_0 $$aLecture notes in computer science ;$$v12669.
001435793 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
001435793 852__ $$bebk
001435793 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-73785-6$$zOnline Access$$91397441.1
001435793 909CO $$ooai:library.usi.edu:1435793$$pGLOBAL_SET
001435793 980__ $$aBIB
001435793 980__ $$aEBOOK
001435793 982__ $$aEbook
001435793 983__ $$aOnline
001435793 994__ $$a92$$bISE