Refine your search

Your search returned 2 results. Subscribe to this search

1. Formal Methods in Software and Systems Modeling [Recurso electrónico] / Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday edited by Hans-JÃœrg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al. by Kreowski, Hans-JÃœrg. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
2. Recent Trends in Algebraic Development Techniques [Recurso electrónico] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / edited by Till Mossakowski, Hans-JÃœrg Kreowski. by Mossakowski, Till. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

Powered by Koha