KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 11.11.2026 | Gültig für Spielzeug, Filme, Musik, Software, Games, Geschenke & Trends, Schreibwaren, Hörbücher und Hörbuch-Downloads (außer Abo & Shelfies), gebrauchte Bücher, nicht preisgebundene Bücher und Kalender | Einlösbar unter thalia.de und in der Thalia App | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Digitale Hörbücher nur für Android  | Nicht gültig für preisgebundene Artikel (aufgrund der Buchpreisbindung sind Gutscheine nicht auf Bücher, eBooks, Presse einlösbar), tolino eReader & Zubehör, Abonnements & Flatrates, Geschenkkarten, Versandkosten und Services
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

69,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: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.