Formal Methods in Software and Systems Modeling (inbunden)

Fler böcker inom

Data & IT

Format: Häftad (Paperback / softback)
Språk: Engelska
Antal sidor: 420
Utgivningsdatum: 2005-02-09
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dimensioner: 234 x 156 x 23 mm
Vikt
ISBN: 9783540249368

Formal Methods in Software and Systems Modeling

Name: Formal Methods in Software and Systems Modeling
Price: 574.00 SEK
Availability: InStock
Author: Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
ISBN: 9783540249368

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

av Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer

Häftad, Engelska, 2005-02-09

574

Köp

Spara som favorit

Skickas från oss inom 10-15 vardagar.
Fri frakt över 249 kr för privatkunder i Sverige.

Finns även som

E-bok (LCP)

Ladda ned och läs i Bokus Reader.

740

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th 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.