
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 02:01 Uhr
19.03.2025 um 02:01 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:
9783319734408 - Large-Scale Scientific Computing Kartoniert (TB)...9783863598488 - Ergebnisse aus der Produktionstechnik Developmen...
9783642050886 - FM 2009 Formal Methods Kartoniert (TB)...
9783960672111 - Characterization of microstructure and mechanical ...
3346470147386 - La Petite Robe Noire Absolue EDP - 50ml...
9790201890340 - Ludwig van Beethoven - Klaviersonaten Band IIBd2 -...
5413184123901 - Küchenmaschine 5KSM175EMF Artisan - Fog blue...
9783319414799 - SpringerBriefs in Electrical and Computer Engineer...
9783319216898 - Computer Aided Verification Kartoniert (TB)...
6294015101324 - Voyage Blue EDP 100 ml...
8436022365490 - - Eau de Parfum Sophisticate Men 100 ml...
4044155257267 - HD 560S - Kopfhörer - ohrumschlieÃend - kabelg...
kürzlich hinzugefügt:
9783319708478 - Formal Methods Foundations and Applications Karton...9783031011306 - Synthesis Lectures on Information Concepts Retriev...
9783642245589 - Formal Methods and Software Engineering Kartoniert...
8435415080422 - - Scandal Absolu - Parfum Concentré - scandal For...
8028713816680 - Unisex-Parfüm Blu Mediterraneo Mandorlo Di Sicili...
9783031460180 - SpringerBriefs in Psychology Deliberate Practice...
8436022366367 - - Eau de Parfum Harpina 100 ml...
4044155257267 - HD 560S - Kopfhörer - ohrumschlieÃend - kabelg...
8435415080392 - - Scandal Pour Homme Absolu - Parfum Concentré - ...
9783319216676 - Computer Aided Verification Kartoniert (TB)...
9783960672111 - Characterization of microstructure and mechanical ...
9783031011245 - Synthesis Lectures on Image Video and Multimedia P...