Normal view MARC view ISBD view

Formal methods and object technology / ed. S. J. Goldsack, S. J. H. Kent

Secondary Author Goldsack, Stephen J., 1926-
Kent, Stuart John Harding, 1966- Country Reino Unido. Publication London : Springer, 1996 Description XVIII, 368 p. : il. ; 24 cm Series Formal approaches to computing and information technology ISBN 3-540-19977-2 CDU 519.68

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 138568	Available		166089
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 138569	Available		171175