Theorem Provers in Circuit Design: Theory, Practice and ExperienceRamayya Kumar, Thomas KropfHäftad534 kr
Del 31Changing Face of the “Native Speaker”Nikolay Slavkov, Sílvia Melo-Pfeifer, Nadja Kerschhofer-PuhaloHäftad274 kr
Theorem Provers in Circuit Design: Theory, Practice and ExperienceRamayya Kumar, Thomas KropfHäftad534 kr