Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Formal methods in computer-aided design : proceedings / First International Conference; ed. Mandayam Srivas, Albert Camilleri

Corporate Author (Main) International Conference on Formal Methods in Computer-Aided Design, 1, Palo Alto, 1996 Secondary Author Srivas, Mandayam
Camilleri, Albert Country Alemanha. Publication Berlin : Springer, cop. 1996 Description IX, 470 p. ; 24 cm Series Lecture notes in computer science , 1166) ISBN 3-540-61937-2 CDU 519.674 681.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 Geral da Universidade do Minho
BGUMD 109596 Available 206624
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.