Vor Ort
Merkzettel Warenkorb
Produktbild: Rigorous Methods in Theory and Practice
Band 16580

Rigorous Methods in Theory and Practice Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday

Aus der Reihe Lecture Notes in Computer Science

72,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.2026

Abbildungen

XV, 470 p. 97 illus., 59 illus. in color.

Herausgeber

Alexander Raschke + weitere

Verlag

Springer

Seitenzahl

470

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

733 g

Sprache

Englisch

ISBN

978-3-032-24493-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.2026

Abbildungen

XV, 470 p. 97 illus., 59 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

470

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

733 g

Sprache

Englisch

ISBN

978-3-032-24493-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Rigorous Methods in Theory and Practice

  • .- Development of Computer Science and Rigorous Methods


    .- Egon Börger’s Contributions to Shaping Rigorous Methods.



    .- Formal Methods: Whence and Whither.



    .- A Bibliometric analysis of the Abstract State Machine research production and community over the years.


    .- Abstract State Machines


    .- State-Based Implementation of Algebraic Data Types.



    .- Abstract State Machines for Security Assessment.



    .- Data in Distributed Computing.



    .- A First Step towards Agile Verification of Compilations.



    .- A Symbolic Execution Approach to Bounded Verification of Abstract State Machines.



    .- Bridging specification and implementation in CoreASM plugins.


    .- Rigorous State-Based Methods


    .- From Event-B to Lambdapi and TLA+.



    .- Design of correct by construction algorithms by double checking properties.



    .- From Abstract State Machines to B: A Translation of a Medical Pillbox Model.



    .- Enhancing the expressibility of ASM-defined classes of algorithms with Event-B.



    .- Refinement-Centric Hazard Analysis with SHARCS: A Case Study Bridging Requirements and Formal Mode.


    .- Logic and Theory of Computation


    .- Capturing Quantum Algorithms by Quantum Abstract State Machines.



    .- Inductive Nonmonotonic Reasoning Based on Defeasible and Indefeasible Beliefs.



    .- Non-Deterministic Algorithms – Capture By Abstract State Machines.


    .- Modelling


    .- Establishing Language-Backed Modelling.



    .- Modeling and Implementing Human-Centered Digital Twins.