Eletricidade e Energia

Higher Order Logic And Hardware Verification

de T. F. (University Of Glasgow) Melham 

Bertrand.pt - Higher Order Logic And Hardware Verification
idioma: Inglês
Editor: CAMBRIDGE UNIVERSITY PRESS
Edição: julho de 2009
Portes
Grátis
10%
51,37€
Poupe 5,14€ (10%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias

This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.

Da mesma coleção

ver +
Initial Algebras And Terminal Coalgebras
10%
Topological Duality For Distributive Lattices
10%
portes grátis
10% Cartão Leitor Bertrand
91,93€
Poupe 9,19€
CAMBRIDGE UNIVERSITY PRESS
Higher Order Logic And Hardware Verification
de T. F. (University Of Glasgow) Melham 
ISBN:
9780521115322
Ano de edição:
07-2009
Editor:
CAMBRIDGE UNIVERSITY PRESS
Idioma:
Inglês
Encadernação:
Capa mole
Páginas:
180
Tipo de Produto:
Livro
Coleção:
Cambridge Tracts In Theoretical Computer Science
Classificação Temática:
Livros  >  Livros em Inglês  >  Engenharia  >  Eletricidade e Energia

EAN:
9780521115322
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.