Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till

Main Author Potter, Ben Coauthor Sinclair, Jane
Till, David Country Reino Unido. Edition 2nd ed Publication London : Prentice Hall, 1996 Description XIV, 434 p. : il. ; 24 cm Series Prentice Hall International series in computer science ISBN 0-13-242207-7 CDU 519.766 519.682
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 109833 Available 167400
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.