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] / 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas. by Fiadeiro, José Luiz. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha