Tárgyszó
Algorithm Analysis and Problem Complexity
2
Computation by Abstract Devices
2
Computer science
2
Computer software
2
Logic design
2
Logics and Meanings of Programs
2
Mathematical Logic and Formal Languages
2
Programming Languages, Compilers, Interpreters
2
Software Engineering
2
Software engineering
2
elektronikus könyv
2
konferencia
2
konferenciakötet
2
logikai tervezés
2
logikai tervezés -- konferencia
2
modell ellenőrzés
2
modell ellenőrzés -- szoftvertesztelés -- konferencia
2
programozási nyelvek
2
programozási nyelvek -- konferencia
2
szoftverfejlesztés
2
szoftverfejlesztés -- konferencia
2
szoftvertesztelés
2
tanulmányok
2
verifikáció
2
verifikáció -- szoftverfejlesztés -- konferencia
2