Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Teaching and learning formal methods / ed. C. Neville Dean, Michael G. Hinchey

Secondary Author Dean, C. Neville
Hinchey, Michael G. Country Reino Unido. Publication London : Academic Press, cop. 1996 Description XVI, 285 p. ; 23 cm Series Academic Press international series in formal methods ISBN 0-12-349040-5 CDU 371.3
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 da UMinho no Campus de Azurém
BPG3 371.3 - T Available 170148
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.