Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 13 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
The science of programming / David Gries Monografia Publication New York : Springer-Verlag, imp. 1989 Description XV, 366 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Mathematical foundations of computer science / Peter A. Fejer, Dan A. Simovici Monografia Publication New York : Springer-Verlag, 1991-19-- Description --v. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (3). Checked out (1).

Place hold Add to cart
Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description XIII, 493 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
The science of programming / David Gries Monografia Publication New York : Springer-Verlag, imp. 1983 Description XV, 366 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Automata-theoretic aspects of formal power series / Arto Salomaa, Matti Soittola Monografia Publication New York : Springer-Verlag, cop. 1978 Description X, 171 p. ; 25 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
An introduction to Kolmogorov complexity and its applications / Ming Li, Paul Vitányi Monografia Publication New York : Springer-Verlag, cop. 1993 Description XX, 546 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
The origins of digital computers : selected papers / ed. Brian Randell Monografia Publication Berlin : Springer-Verlag, 1982 Description XVI, 580 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
Programming in the 1990s : an introduction to the calculation of programs / Edward Cohen Monografia Publication New York : Springer-Verlag, cop. 1990 Description XV, 265 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
The science of programming / David Gries Monografia Publication New York : Springer-Verlag, cop. 1981 Description XIII, 366 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart