Capa do artigo Higher Order Logic And Hardware Verification

Higher Order Logic And Hardware Verification

by T. F. (University Of Glasgow) Melham
language: english
Publisher: CAMBRIDGE UNIVERSITY PRESS, November of 1993 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
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.

Higher Order Logic And Hardware Verification

by T. F. (University Of Glasgow) Melham

Property Description
ISBN: 9780521417181
Publisher: CAMBRIDGE UNIVERSITY PRESS
Release Date: November of 1993
Language: English
Cover: Hardcover
Pages: 180
Format: Book
Collection: Cambridge Tracts In Theoretical Computer Science
Categories: Books in English > Computing > Other Applications
Books in English > Computing > Introduction to Computing
EAN: 9780521417181

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

T. F. (UNIVERSITY OF GLASGOW) MELHAM

SEE MORE TITLES BY THIS AUTHOR