Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 7 results. Subscribe to this search

|
Petri ner technology for communication-based systems : advances in petri nets / ed. Hartmut Ehrig...[et al.] Monografia Publication Berlin : Springer, cop. 2003 Description VIII, 454 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
No cover image available
Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr Monografia Publication Berlin : Springer-Verlag, cop. 1985-1990 Description 2 v. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
No cover image available
TAPSOFT'87 / Proceedings of the International Joint Conference... Monografia Publication Berlin : Springer-Verlag, 1987-19-- Description v. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Add to cart
Categorical methods in computer science : with aspects from topology / International Workshop... ; ed. H. Ehrig... [et al.] Monografia Publication Berlin : Springer-Verlag, cop. 1989 Description VI, 350 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Add to cart
No cover image available
Mathematical foundations of software development : proceedings / International Joint Conference... ; ed. Hartmut Ehrig... [et al.] Monografia Publication Berlin : Springer-Verlag, 1985-19-- Description v. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Graph transformation, specifications, and nets : in memory of Hartmut Ehrig / ed. Reiko Heckel, Gabriel Taentzer Monografia Publication [Cham] : Springer, cop. 2018 Description XIV, 331, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Algebraic specification techniques and tools for software development : the ACT approach / Ingo Claèn, Hartmut Ehrig, Dietmar Wolz Monografia Publication Singapore : World Scientific, cop. 1994 Description XVI, 237 p. : il. ; 23 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart