
EAN: 9783319927091

Bilder-Quelle: shopping24.de – Sport
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement and (4) how these models of refinement are related.
Produktinformationen zuletzt aktualisiert am
19.03.2025 um 07:13 Uhr
19.03.2025 um 07:13 Uhr
Hersteller
-
EAN
9783319927091
MPN
-
ASIN
-
Produktgruppe
-

Produktzustand:
Verfügbarkeit:
Versandkosten:
Sonderpreis:

Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
Letzte EAN Aktualisierungen:
9783866449695 - Modelling Event-Based Interactions in Component-Ba...8435415080392 - - Scandal Pour Homme Absolu - Parfum Concentré - ...
9783960672050 - Effect of tool pin profile on microstructure and m...
9783384213495 - Heart Beating to Breaking - Jemison Kartoniert (TB...
8436022365490 - - Eau de Parfum Sophisticate Men 100 ml...
9783540854197 - Foundations of Grothendieck Duality for Diagrams o...
9783642047602 - Automated Technology for Verification and Analysis...
9783031012167 - Synthesis Lectures on Information Security Privacy...
9783384190581 - Beyond Technology Unlocking the Potential of Clini...
9789197680516 - The refinement of rhythm 2...
9783319175232 - NASA Formal Methods Kartoniert (TB)...
9783319465197 - Automated Technology for Verification and Analysis...
kürzlich hinzugefügt:
9783658253370 - BestMasters Chern-Simons Theory and Equivariant ...9781684204540 - NANDA International Nursing Diagnoses...
8436022350267 - - Eau de Parfum Dauro for her 100 ml...
9781683922094 - 3D Printing - Stephanie Torta Jonathan Torta Karto...
8436022366367 - - Eau de Parfum Harpina 100 ml...
9783031008795 - Synthesis Lectures on Distributed Computing Theory...
9783662558614 - Transactions on Petri Nets and Other Models of Con...
9783319216676 - Computer Aided Verification Kartoniert (TB)...
9783319141244 - Logic-Based Program Synthesis and Transformation K...
3614222401995 - Tiffany - Tiffany Eau De Parfum - Vaporisateur 50 ...
9781529340112 - Nuts and Bolts - Roma Agrawal Taschenbuch...
9783319228693 - Universitext The Analysis and Geometry of Hardys...