Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Mathematics of program construction : proceedings / Second International Conference...; ed. R. S. Bird, C. C. Morgan, J. C. P. Woodcock

Corporate Author (Main) International Conference [on] Mathematics of Program Construction, 2, Oxford, 1992 Secondary Author Bird, Richard S., 1943-
Morgan, C. Carroll
Woodcock, James C. P. Country Alemanha. Publication Berlin : Springer-Verlag, cop. 1993 Description VIII, 378 p.24 cm Series Lecture notes in computer science , 669 ISBN 3-540-56625-2 CDU 519.68
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 48135 Available 120628
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.