Biblioteca da Universidade do Minho

Your cart is empty.

Refine your search

Your search returned 2 results. Subscribe to this search

|
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled Monografia Publication Cambridge, Mass. : The MIT Press, imp. 2000 Description XIV, 314 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled Monografia Publication Cambridge, Mass. : The MIT Press, imp. 2001 Description XIV, 314 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart