Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics за авторством Bača, J., Giertl, J., Chladný, V.

Отримати повний текст

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits за авторством Bača, J., Korecko, S., Poruban, J., Vaclavik, P.

Отримати повний текст

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits за авторством Bača, J., Korečko, Š., Porubän, J., Václavík, P.

Отримати повний текст