Der ausgewählte Artikel ist nicht mehr verfügbar, aber wir haben etwas Ähnliches gefunden.

Bild 1 von 1

Standardbild

Certifying Rule-Based Models using Graph Transformation Leen Lambers Taschenbuch - Bild 1 von 1

Certifying Rule-Based Models using Graph Transformation von Leen Lambers (2010, Taschenbuch)

Schreiben Sie die ersteRezension.

buchbaer (63689)
99,9% positive Bewertungen

Preis:

€ 74,90

(inkl. MwSt.)

Kostenloser Versand

Lieferung ca. Di, 14. Mai - Fr, 17. Mai

Rücknahmen:

1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Alle Details ansehen

Über dieses Produkt

Produktinformation

Many systems exhibit rule-based behavior that can be modeled very well by means of graph transformation. In this thesis, a new graph transformation theory is introduced for rules describing not only positive pre- and post-conditions, but also so-called negative application conditions. Present analysis techniques are extended for this more expressive kind of graph transformation. Moreover, new kinds of analysis techniques are introduced and present techniques are improved. The main part of the newly developed theory is formulated in the more abstract adhesive high-level-transformation framework. Consequently, the analysis techniques can be applied not only to graphs, but also to other complex structures such as Petri nets and attributed graphs. Finally, a general road map is presented leading to the certification of a selection of properties in rule-based models. The certification, based on graph transformation analysis techniques, is illustrated by a case study of an elevator control system. Moreover, the current tool support for certification of rule-based models using graph transformation provided by AGG is outlined.

Produktkennzeichnungen

ISBN-10
383811650x
ISBN-13
9783838116501
eBay Product ID (ePID)
163814996

Produkt Hauptmerkmale

Sprache
Englisch
Anzahl der Seiten
244 Seiten
Verlag
Südwestdeutscher Verlag für Hochschulschriften
Publikationsname
Certifying Rule-Based Models Using Graph Transformation
Autor
Leen Lambers
Format
Taschenbuch
Erscheinungsjahr
2010

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Paperback
Item Length
22cm
Item Height
1cm
Item Width
15cm
Item Weight
381g

Alle Angebote für dieses Produkt

Artikel 1 Certifying Rule-Based Models using Graph Transformation Leen Lambers Taschenbuch
EUR 74,90
Kostenloser Versand
Artikel 2 Certifying Rule-Based Models using Graph Transformation Extended, Improved 1146
EUR 89,90
+EUR 2,94 Versand

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht
Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)
4.5 von 5 Sternen in 2 Produktbewertungen
EUR 12,00 Neu
EUR 9,49 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Toni's Mealprep Küche ~ Antonia Elena Zimmermann ~ 9783949458910
EUR 25,00
Preistendenz: EUR 25,28
The Serpent and the Wings of Night (Crowns of Nyaxia 1) | Carissa Broadbent
EUR 18,00
Preistendenz: EUR 18,22
Schneider-Bautabellen für Ingenieure, 25.Auflage, Berechnungshinweise/Beispiele
EUR 45,00
Preistendenz: EUR 54,23
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,57
Brian W. Kernighan (u. a.) | The C Programming Language | Taschenbuch | Englisch
EUR 39,95
Preistendenz: EUR 47,48
Crescent City - zur Auswahl
EUR 24,00
Preistendenz: EUR 31,68

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Bild 1 von 1

Certifying Rule-Based Models using Graph Transformation von Leen Lambers (2010, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Alle Angebote für dieses Produkt

Artikel 1 Certifying Rule-Based Models using Graph Transformation Leen Lambers Taschenbuch

Artikel 2 Certifying Rule-Based Models using Graph Transformation Extended, Improved 1146

Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)

Das einzige Buch, das Du über Finanzen lesen solltest von Thomas Kehl (2022, Taschenbuch)

Hier sparen: Studium & Erwachsenenbildung

Toni's Mealprep Küche ~ Antonia Elena Zimmermann ~ 9783949458910

The Serpent and the Wings of Night (Crowns of Nyaxia 1) | Carissa Broadbent

Schneider-Bautabellen für Ingenieure, 25.Auflage, Berechnungshinweise/Beispiele

Einfaches Kassenbuch | Einnahmen und Ausgaben

Brian W. Kernighan (u. a.) | The C Programming Language | Taschenbuch | Englisch

Crescent City - zur Auswahl

Auch interessant

Bücher im Taschenbuch Sachbuch Ab 2010

Bücher Ab 2010 Belletristik im Taschenbuch-Format

Studium und Erwachsenenbildung im Taschenbuch-Genre ab 2010

Schule und Ausbildung im Taschenbuch-Genre ab 2010

Kinder- & Jugendliteratur als Taschenbuch mit Ab 2010 Bücher

Lehrbücher als Taschenbuch