Koha online

Normal view MARC view ISBD view

Umamageswaran, Kothanda

Formal semantics and proof techniques for optimizing VHDL models - Boston: Kluwer Academic Publishers, 1999 - xvi, 158 p.; ill.: 24 cm.

ISBN: 0792383753 (hbk)

Subjects--Topical Terms:
VHDL (Computer hardware description language)

Dewey Class. No.: 621.392 / UMA