001437311 000__ 04454cam\a2200637\a\4500
001437311 001__ 1437311
001437311 003__ OCoLC
001437311 005__ 20230309004142.0
001437311 006__ m\\\\\o\\d\\\\\\\\
001437311 007__ cr\un\nnnunnun
001437311 008__ 210612s2021\\\\sz\\\\\\o\\\\\011\0\eng\d
001437311 019__ $$a1255463625
001437311 020__ $$a9783030760205$$q(electronic bk.)
001437311 020__ $$a3030760200$$q(electronic bk.)
001437311 020__ $$z9783030760199
001437311 020__ $$z3030760197
001437311 0247_ $$a10.1007/978-3-030-76020-5$$2doi
001437311 035__ $$aSP(OCoLC)1256254650
001437311 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dYDX$$dOCLCO$$dEBLCP$$dOCLCF$$dOCLCQ$$dCOM$$dOCLCO$$dOCL$$dOCLCQ
001437311 049__ $$aISEA
001437311 050_4 $$aQA76.758
001437311 08204 $$a005.1$$223
001437311 24500 $$aLogic, computation and rigorous methods :$$bessays dedicated to Egon Börger on the occasion of his 75th birthday /$$cAlexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.).
001437311 260__ $$aCham :$$bSpringer,$$c2021.
001437311 300__ $$a1 online resource (367 pages)
001437311 336__ $$atext$$btxt$$2rdacontent
001437311 337__ $$acomputer$$bc$$2rdamedia
001437311 338__ $$aonline resource$$bcr$$2rdacarrier
001437311 4901_ $$aLecture Notes in Computer Science ;$$v12750
001437311 4901_ $$aLNCS sublibrary, SL 2, Programming and software engineering
001437311 500__ $$aIncludes index.
001437311 5050_ $$aFrom Logic and Computation Theory to Rigorous Methods for Software Engineering -- Towards Leveraging Domain Knowledge in State-Based Formal Methods -- Some Observations on Mitotic Sets -- Moded and Continuous Abstract State Machines -- A Stepwise Design Optimization Problem -- Semantic Splitting of Conditional Belief Bases -- Communities and Ancestors Associated with Egon Börger and ASM -- Language and communication problems in formalization: a natural language approach -- ASM Specification and Refinement of a Quantum Algorithm -- Spot the Difference: A Detailed Comparison Between B and Event-B -- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond -- Analysis of Mobile Networks' Protocols Based on Abstract State Machines -- What is the Natural Abstraction Level of an Algorithm -- The ASMETA approach to safety assurance of software systems -- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System -- Computation on Structures: Behavioural Theory, Logic, Complexity -- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes -- Models and Modelling in Computer Science -- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.
001437311 506__ $$aAccess limited to authorized users.
001437311 520__ $$aThis Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.
001437311 650_0 $$aSoftware engineering.
001437311 650_0 $$aComputer science.
001437311 650_0 $$aComputer logic.
001437311 650_6 $$aGénie logiciel.
001437311 650_6 $$aInformatique.
001437311 650_6 $$aLogique informatique.
001437311 655_7 $$aFestschriften.$$2fast$$0(OCoLC)fst01941036
001437311 655_7 $$aFestschriften.$$2lcgft
001437311 655_0 $$aElectronic books.
001437311 7001_ $$aRaschke, Alexander.
001437311 7001_ $$aRiccobene, Elvinia,$$d1964-
001437311 7001_ $$aSchewe, Klaus-Dieter.
001437311 7001_ $$aBörger, E.$$q(Egon),$$d1946-$$ehonouree.
001437311 77608 $$iPrint version:$$aRaschke, Alexander.$$tLogic, Computation and Rigorous Methods.$$dCham : Springer International Publishing AG, ©2021$$z9783030760199
001437311 830_0 $$aLecture notes in computer science ;$$v12750.
001437311 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001437311 852__ $$bebk
001437311 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-76020-5$$zOnline Access$$91397441.1
001437311 909CO $$ooai:library.usi.edu:1437311$$pGLOBAL_SET
001437311 980__ $$aBIB
001437311 980__ $$aEBOOK
001437311 982__ $$aEbook
001437311 983__ $$aOnline
001437311 994__ $$a92$$bISE