Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Verification, model checking, and abstract interpretation : proceedings / 5th International Conference, VMCAI 2004; ed. Bernhard Steffen, Giorgio Levi

Corporate Author (Main) VMCAI, 5, Venice, 2004 Secondary Author Steffen, Bernhard
Levi, Giorgio, 1942- Country Alemanha. Publication Berlin : Springer, cop. 2004 Description XI, 324 p. : il. ; 24 cm Series Lecture notes in computer science , 2937 , 0302-9743 ISBN 3-540-20803-8 CDU 681.3 681.3-7
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 115452 Available 332155
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.