Formal Semantics and Proof Techniques for Optimizing VHDL Models
Наличност:
Външен склад в ограничено количество
Изпращаме след 13-18 дни
116.25
€
227.37 лв
Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifyi...