Biblioteca da Universidade do Minho

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

VDM'90 : VDM and Z - formal methods in software development / Tird International Symposium of VDM Europe; ed. D. Bjorner, C. A. R. Hoare, H. Langmaack

Corporate Author (Main) International Symposium of VDM Europe, 3, Kiel, 1990 Secondary Author Bjorner, D.
Hoare, C. A. R.
Langmaack, H. Country Alemanha. Publication Berlin : Springer-Verlag, cop. 1990 Description XVII, 579 p. ; 24 cm Series Lecture notes in computer science , 428) ISBN 3-540-5213-0 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
BGUMD 47798 Available 215736
Total holds: 0

There are no comments for this item.

Log in to your account to post a comment.