Formal Methods in Software and Systems Modeling

Name: Formal Methods in Software and Systems Modeling
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540249368
Price: 19305 HUF
Availability: InStock

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

Szerző: H. Kreowski, Ugo Montanari, Fernando Orejas

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

By presenting state-of-the-art research results on various aspects of formal and visual modeling of...

Információk a könyvről

Szerző

H. Kreowski, Ugo Montanari, Fernando Orejas

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2005

oldal

420

EAN

9783540249368

ISBN

3540249362

Enbook ID

01560339

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

1380

Méretek

155 x 235 x 25

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods in Software and Systems Modeling

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták