Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

64.96 CHF

Versandkostenfrei

Versandkostenfreie Lieferung!

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10448131

Beschreibung

Introduction.- Preliminaries.- Challenges in Model Refinement.- Verification of Vertical Refinement.- Extraction of a Relation for Vertical Refinement.- Verification of Horizontal Refinement.- Summary and Conclusions.

Eigenschaften

Breite:	157
Gewicht:	184 g
Höhe:	235
Länge:	8
Seiten:	94
Sprachen:	Englisch
Autor:	Julia Seiter, Robert Wille, Rolf Drechsler

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller

10-Finger-Tippen in 3 Stunden, m. 2 Audio-CD, m. 1 Buch: Der Ruck-Zuck-Kurs für zu Hause - in kürzes

10-Finger-Tippen in 3 Stunden, m. 2 Audio-CD,... 11.07.2014 Sofort lieferbar

36.94

PowerShell 7 und Windows PowerShell: Das komplette Praxiswissen für Administratoren und IT-Profis. F

PowerShell 7 und Windows PowerShell: Das... 14.07.2021 Sofort lieferbar

37.94

SAP-Personalwirtschaft: Praxishandbuch. Alle wichtigen HP-Funktionen Schritt für Schritt erklärt. Pr

SAP-Personalwirtschaft: Praxishandbuch. Alle... 28.12.2016

74.97

Angebote

Topseller

- 56 %

Bestron ABP604 Tischgrill Sofort lieferbar

119,44 52.69

- 56 %

ROWENTA Silence Force Animal RO7473 Sofort lieferbar

450,67 199.74

- 55 %

Moulinex Companion XL Gourmet Sofort lieferbar

1103,08 500.85

Zuletzt angesehen