Details for: Predicate transformer semantics › Catálogo Bibliográfico NOVA FCT catalog

Image from Google Jackets

Normal view MARC view ISBD view

Predicate transformer semantics / Ernest G. Manes

Main Author: Manes, Ernest G.Language: eng.Country: GB - United Kingdom of Great Britain & N. Ireland.Publication: Cambridge : Cambridge University Press, cop. 1992Description: 223 p. ; 26 cmISBN: 0-521-42036-9.Series: Cambridge tracts in theoretical computer scienceSubject - Topical Name: Linguagens de programação (Computadores eletrónicos) , Semântica | Informática, Matemática

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Monografia	Biblioteca NOVA FCT Sala azul/Piso 2	Não Ficção	QA76.6.MAN FCT 34889 (Browse shelf(Opens below))	1	Available		0014659

Colocação: Sala azul/Piso 2

There are no comments on this title.

to post a comment.