Normal view MARC view ISBD view

Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Win H. Hesselink

Main Author Hesselink, Win H. Country Reino Unido. Publication Cambridge : Cambridge University Press, 1992 Description XII, 223 p. ; 26 cm Series Cambridge tracts in theoretical computer science , 27) ISBN 0-521-40436-3 CDU 519.6

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

average rating: 0.0 (0 votes)

Holdings ( 2 )
Title notes
Comments ( 0 )

Holdings
Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 109338	Available		199754
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 109337	Available		239336