Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Spese di spedizione:
EUR 3,72
In U.S.A.
Descrizione libro Condizione: New. Codice articolo ABLIING23Feb2215580243620
Descrizione libro Condizione: new. Questo è un articolo print on demand. Codice articolo ed3fb1262f86b943b8d07388ac5d2235
Descrizione libro Paperback. Condizione: Brand New. 1st edition. 165 pages. 9.50x6.50x0.50 inches. In Stock. Codice articolo __0521115329
Descrizione libro PF. Condizione: New. Codice articolo 6666-IUK-9780521115322
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9780521115322_lsuk
Descrizione libro Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780521115322
Descrizione libro Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 cours. Codice articolo 446926328
Descrizione libro Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This describes solutions to the problem of ensuring the functional correctness of hardware. It considers the behaviour mathematically and verifies intended results by use of formal proof. Codice articolo 9780521115322