Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Computer-aided verification of coordinating processes : the automata-theoretic approach / Robert P. Kurshan Monografia Publication Princeton : Princeton University Press, cop. 1994 Description XII, 270 p. ; 25 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
Verification of digital and hybrid systems / ed. M. Kemal Inan, Robert P. Kurshan Monografia Publication Berlin : Springer, cop. 2000 Description XVIII, 405 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart