Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formal Methods in Software and Systems Modeling

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 175 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Human-computer interaction

• Celý názov: Formal Methods in Software and Systems Modeling
• Podnázov: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
• Autor: H. Kreowski, Ugo Montanari, Fernando Orejas
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 420
• EAN: 9783540249368
• ISBN: 3540249362
• ID: 01560339
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 1380 g
• Rozmery: 235 × 155 × 25 mm
• Dátum vydania: 09. February 2005

Obľúbené z iného súdka

---

---

---