Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Program development by refinement : case studies using the B method / ed. E. Sekerinski, K. Sere

Secondary Author Sekerinski, Emil, 1963-
Sere, Kaisa, 1954- Country Reino Unido. Publication London : Springer, cop. 1999 Description XXIV, 334 p. ; 24 cm Series Formal approaches to computing and information technology) ISBN 1-85233-053-8 CDU 681.3.062
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 115747 Available 262771
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.