By Paolo Baldan, Andrea Corradini (auth.), Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentze
By proposing state of the art study effects on quite a few facets of formal and visible modeling of software program and platforms, this booklet commemorates the 60th birthday of Hartmut Ehrig.
The 24 invited reviewed papers are written by way of scholars and collaborators of Hartmut Ehrig who're verified researchers of their fields. Reflecting the clinical curiosity and paintings of Hartmut Ehrig, the papers fall into 3 major elements on graph transformation, algebraic specification and common sense, and formal and visible modeling.
Read or Download Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday PDF
Best Programming books
Computability and complexity concept will be of important problem to practitioners in addition to theorists. regrettably, despite the fact that, the sphere is understood for its impenetrability. Neil Jones's objective as an educator and writer is to construct a bridge among computability and complexity conception and different components of machine technological know-how, in particular programming.
October 28-31, 1991, San Diego, California formerly known as The North American convention, the 1991 foreign Symposium enhances the foreign convention on good judgment Programming held every year in June. either are backed through the organization for common sense Programming. subject matters coated: Foundations.
Extra info for Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday