Formal methods in computer-aided design

Formal methods in computer-aided design

Show other versions (1)
Saved in:
Bibliographic Details
Corporate Author: International Conference FMCAD 2000 : 3rd
Other Authors: Hunt, Warren A., Johnson, Steven D.
Format: Book
Published: Berlin Springer 2000
Series:Lecture notes in computer science 1954
Subjects:
Computer engineering > Computer-aided design > Congresses
Integrated circuits > Verification > Congresses
Tags: Add Tag
No Tags, Be the first to tag this record!

Perpustakaan Laman Hikmah Kampus Induk, UTeM: Open Shelf

Holdings details from Perpustakaan Laman Hikmah Kampus Induk, UTeM: Open Shelf
Call Number: TK7885 A1 F67 2000
Copy Unknown Available  Place a Hold

Similar Items