Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Herausgegeben:Kreowski, Hans-Jörg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz; Taentzer, Gabriele
Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Herausgegeben:Kreowski, Hans-Jörg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz; Taentzer, Gabriele
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60 th birthday of Hartmut Ehrig.
The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
- Marco Bernardo / Flavio Corradini (eds.)Formal Methods for the Design of Real-Time Systems40,99 €
- Engineering Trustworthy Software Systems37,99 €
- Susanna Donatelli / P.S. Thiagarajan (eds.)Petri Nets and Other Models of Concurrency - ICATPN 200639,99 €
- From Programs to Systems - The Systems Perspective in Computing37,99 €
- Bernhard Beckert (Volume ed.) / Reiner Hähnle / Peter H. SchmittVerification of Object-Oriented Software. The KeY Approach78,99 €
- Olaf Owe / Stein Krogdahl / Tom Lyche (eds.)From Object-Orientation to Formal Methods37,99 €
- Hybrid Systems40,99 €
-
-
-
The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
- Produktdetails
- Lecture Notes in Computer Science 3393
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 11392910, 978-3-540-24936-8
- 2005
- Seitenzahl: 448
- Erscheinungstermin: 9. Februar 2005
- Englisch
- Abmessung: 235mm x 155mm x 25mm
- Gewicht: 672g
- ISBN-13: 9783540249368
- ISBN-10: 3540249362
- Artikelnr.: 13929261
- Lecture Notes in Computer Science 3393
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 11392910, 978-3-540-24936-8
- 2005
- Seitenzahl: 448
- Erscheinungstermin: 9. Februar 2005
- Englisch
- Abmessung: 235mm x 155mm x 25mm
- Gewicht: 672g
- ISBN-13: 9783540249368
- ISBN-10: 3540249362
- Artikelnr.: 13929261