Biblioteca da Universidade do Minho

Your cart is empty.
No cover image available
Normal view MARC view ISBD view

Proof in VDM : a practitioner's guide / Juan C. Bicarregui... [et al.]

Coauthor Bicarregui, Juan C. Country Reino Unido. Publication London : Springer, cop. 1994 Description XVI, 362 p. ; 24 cm Series Formal approaches to computing and information technology) ISBN 3-540-09813-X 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
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUM 519.6 - P Available 202328
Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.