Logic synthesis and verifications algorithms

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Kaituhi matua: Hochtel,Gray D.
Ētahi atu kaituhi: Somenzi,Fabio
Reo:Ingarihi
I whakaputaina: Springer 2006
Ngā marau:
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!