Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Using Z : specification, refinement, and proof / Jim Woodcock, Jim Davies

Main Author Woodcock, Jim Coauthor Davies, Jim Country Reino Unido. Publication London : Prentice Hall, 1996 Description XVI, 386 p. ; 24 cm Series Prentice Hall series in computer science ISBN 0-13-948472-8 CDU 519.68 510.5
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 location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 138604 Available 153897
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.