Посмотреть изменения для этих страниц
AlexDaniel
Studying Computer Systems Engineering ([[IASM02-15]]). Email: [[mailto:alex.jakimenko+ttuwiki@gmail.com . . . | | [[IAF0610]] |Design for Testability ✓ | | [[IAF0620]] |Verification of Digital Systems ✓ | | [[HOE7250]] . . .
2K - редактировалось последний раз 2024-10-23 01:08:42 пользователем 10.0.1.103
IAF0620
#SUBTITLE Digitaalsüsteemide verifitseerimine #SUBURL [Course:100991 〔Õppeaine ÕIS-is〕] Materials: http://ati.ttu.ee/~jaan/verification/ . . .
1K - редактировалось последний раз 2016-09-05 15:16:01 пользователем AlexDaniel
IASM02-09
== IASM02/09 - Arvutisüsteemid [Kava:50035 〔Õppekava ÕIS-is〕] [[ISP0030]] Agentsüsteemid [[IAG0050]] . . . [[IAY0600]] Digitaalsüsteemide disain [[IAF0620]] Digitaalsüsteemide verifitseerimine [[TMT0040]] . . .
2K - редактировалось последний раз 2015-09-11 01:29:10 пользователем AlexDaniel
IASM02-11
== IASM02/11 - Arvutisüsteemid [Kava:50170 〔Õppekava ÕIS-is〕] [[ISP0030]] Agentsüsteemid [[IAG0050]] . . . Digitaalsüsteemide modelleerimine ja süntees [[IAF0620]] Digitaalsüsteemide verifitseerimine [[TMT0040]] . . .
2K - редактировалось последний раз 2015-09-11 01:29:10 пользователем AlexDaniel
IASM02-12
== IASM02/12 - Arvutisüsteemid [Kava:50187 〔Õppekava ÕIS-is〕] [[IDU0220]] Andmebaasid I [[IEM3040]] Andmehõivesüsteemid . . . Digitaalsüsteemide modelleerimine ja süntees [[IAF0620]] Digitaalsüsteemide verifitseerimine [[HLI3001]] . . .
2K - редактировалось последний раз 2015-09-11 01:29:10 пользователем AlexDaniel
IASM02-15
== IASM02/15 - Arvutisüsteemid [Kava:50310 〔Õppekava ÕIS-is〕] [[IDU0220]] Andmebaasid I [[IEM3040]] Andmehõivesüsteemid . . . Digitaalsüsteemide modelleerimine ja süntees [[IAF0620]] Digitaalsüsteemide verifitseerimine [[HLI3001]] . . .
2K - редактировалось последний раз 2015-09-11 01:29:10 пользователем AlexDaniel
Найдено 6 страниц