Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

The Practice of Formal Methods

Essays in Honour of Cliff Jones, Part II
TaschenbuchKartoniert, Paperback
316 Seiten
Englisch
Springererschienen am13.08.20242024
His career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and academic and research roles at the University of Cambridge and the University of Manchester, and since 1999 at Newcastle University.mehr
Verfügbare Formate
TaschenbuchKartoniert, Paperback
EUR70,61
TaschenbuchKartoniert, Paperback
EUR70,61
E-BookPDF1 - PDF WatermarkE-Book
EUR139,09

Produkt

KlappentextHis career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and academic and research roles at the University of Cambridge and the University of Manchester, and since 1999 at Newcastle University.
Details
ISBN/GTIN978-3-031-66672-8
ProduktartTaschenbuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2024
Erscheinungsdatum13.08.2024
Auflage2024
ReiheLecture Notes in Computer Science
Reihen-Nr.14781
Seiten316 Seiten
SpracheEnglisch
IllustrationenXIV, 316 p. 80 illus., 47 illus. in color.
Artikel-Nr.61923819

Inhalt/Kritik

Inhaltsverzeichnis
Reasoning about distributive laws in a concurrent refinement algebra.- HayesOn the Formalization of the Notion of an Algorithm.- A Note on Proofs of Earley´s Recognizer.- On the Relational Basis of Early R/G Work.- Model Refinement: Generating Refinements for Algorithm and SystemDesign.- Analysing the safety implications of security risks in cyber-physical systems.- Rely-Guarantee Interpretation of Sequence Diagrams.- Formal Analysis of Interactions between Safety and Security Requirements.- About Trust and Proof: An experimental framework for heterogeneous verification.- Uncertainty and Probabilistic UTP.- Modelling and Verifying Programs under the Total Store OrderMemory Model in an Algebraic Semantics Style.- Case Study: Modeling, Simulation, Verification, and Code Generationof an Automatic Cruise Control System .- Exploring the Boundaries of Rely/Guarantee and Links to Linearisability.- Less is More Revisited: Association with Global Multiparty Session Types.- Validation of Formal Models: A Case Study.mehr

Autor