Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv

Higher Order Logic and Hardware Verification

Af: T. F. Melham Engelsk Hardback

Higher Order Logic and Hardware Verification

Af: T. F. Melham Engelsk Hardback
Tjek vores konkurrenters priser
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.
Tjek vores konkurrenters priser
Normalpris
kr 831
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser
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.
Produktdetaljer
Sprog: Engelsk
Sider: 180
ISBN-13: 9780521417181
Indbinding: Hardback
Udgave:
ISBN-10: 052141718X
Udg. Dato: 11 nov 1993
Længde: 11mm
Bredde: 170mm
Højde: 244mm
Forlag: Cambridge University Press
Oplagsdato: 11 nov 1993
Forfatter(e): T. F. Melham
Forfatter(e) T. F. Melham


Kategori Matematisk datateori


ISBN-13 9780521417181


Sprog Engelsk


Indbinding Hardback


Sider 180


Udgave


Længde 11mm


Bredde 170mm


Højde 244mm


Udg. Dato 11 nov 1993


Oplagsdato 11 nov 1993


Forlag Cambridge University Press

Kategori sammenhænge