Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer Paperback 2005

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
  • ISBN 13: 9783540249368
  • ISBN 10: 3540249362
  • Publication Year: 2005
  • Language: English

Specifications

Index-103540249362
LanguageEnglish
Index-139783540249368
Period-
Class Track-
Publisher- (2005)
Pages-

✨ Readers also enjoyed...

View All →
Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems S…

Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner

Inquire
Graph Grammars and Their Application to Computer Science : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

Graph Grammars and Their Applicati…

Hans-Jörg Kreowski, G. Rozenberg, H. Ehrig

Inquire
Graph Transformations : First International Conference, Icgt 2002, Barcelona, Spain, October 2002 - Proceedings

Graph Transformations : First Inte…

Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg

Inquire
Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Develop…

Till Mossakowski, Hans-Jörg Kreowski

Inquire
Subject-Oriented Business Process Management : 12th International Conference, S-BPM ONE 2020, Bremen, Germany, December 2-4, 2020, Proceedings

Subject-Oriented Business Process …

Marc Becker, Aseem Kinra, Elizabeth M. Adler, Hans-Jörg Kreowski, Klaus-Dieter Thoben

Inquire