Your search returned 2 results.

Results
	1.	Formal Methods in Software and Systems Modeling Электронный ресурс 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 \| Montanari, Ugo \| Orejas, Fernando \| Rozenberg, Grzegorz \| Taentzer, Gabriele \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Recent Trends in Algebraic Development Techniques Электронный ресурс 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 \| Mosses, Peter \| Orejas, Fernando \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)

E-catalog