杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Higher order logic and hardware verification / T. Melham.

出版发行项:

Cambridge : Cambridge University Press, 2009.

ISBN:

9780521115322 (pbk.)

ISBN:

0521115329 (pbk.)

载体形态项:

xiii, 165 p. : ill. ; 24 cm.

丛编题名:

Cambridge tracts in theoretical computer science ; 31.

个人责任者:

Melham, T. F. (Tom F.)

论题主题:

Integrated circuits-Very large scale integration-Data processing.

论题主题:

Logic, Symbolic and mathematical.

中图法分类号:

TP303

一般附注:

Originally published: 1993.

书目附注:

Includes bibliographical references and index.

豆瓣简介：