Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 6 results. Subscribe to this search

|
The design of well-structured and correct programs / Suad Alagic, Michael A. Arbib Monografia Publication New York : Springer-Verlag, cop. 1978 Description X, 292 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Algebraic approaches to program semantics / Ernest G. Manes, Michael A. Arbib Monografia Publication New York : Springer-Verlag, cop. 1986 Description XIII, 351 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Arrows, structures, and functors : the categorical imperative / Michael A. Arbib, Ernest G. Manes Monografia Publication San Diego : Academic Press, cop. 1975 Description XIII, 185 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Algebraic theory of machines, languages, and semigroups / ed. Michael A. Arbib ; with a major contribution by Kenneth Krohn, John L. Rhodes Monografia Publication New York : Academic Press, 1968 Description 359 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll Monografia Publication New York : Springer-Verlag, imp. 1984 Description VIII, 220 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A. J. Kfoury ; colab. James Pustejovsky Monografia Publication New York : Springer-Verlag, cop. 1988 Description X, 203 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2).

Place hold Add to cart