Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
No cover image available
Formal methods in system design : an international journal / ed. Robert K. Brayton, Edmund M. Clarke, P. A. Subrahmanyam Publicação periódica Publication Dordrecht : Kluwer Academic Publishers, 1993- Description ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Reference (22).

Add to cart
Logic synthesis for field-programmable gate arrays / Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli Monografia Publication Boston : Kluwer Academic Publishers, 1995 Description XV, 427 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2).

Place hold Add to cart