Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 6 results. Subscribe to this search

|
Mathematical theory of computation / Zohar Manna Monografia Publication New York : McGraw-Hill, cop. 1974 Description X, 448 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
The deductive foundations of computer programming / Zohar Manna, Richard Waldinger Monografia Publication Reading : Addison-Wesley, cop. 1993 Description XIV, 717 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Reference (1).

Place hold Add to cart
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna Monografia Publication Berlin : Springer, 2007 Description XV, 366 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
No cover image available
The logical basis for computer programming / Zohar Manna, Richard Waldinger Monografia Publication Reading, Mass. : Addison-Wesley, 1985-19-- Description v. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Temporal verification of reactives systems : safety / Zohar Manna, Amir Pnueli Monografia Publication New York : Springer, cop. 1995 Description XVIII, 512 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli Monografia Publication New York : Springer-Verlag, 1992-19-- Description v. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart