Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled

Main Author Clarke Junior, Edmund M., 1945- Coauthor Grumberg, Orna
Peled, Doron A., 1962- Country Estados Unidos. Publication Cambridge, Mass. : The MIT Press, imp. 2000 Description XIV, 314 p. ; 24 cm ISBN 0-262-03270-8 CDU 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
BGUM 681.3 - C Available 282021
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.