ELTE összesen 3 IK Kari Könyvtár 3

e-book 3

könyv 3

angol 3

Legay, Axel, szerk SpringerLink (Online service), közreadó testület 3 International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden) 2 Margaria, Tiziana, szerk 2 Biondi, Fabrizio, szerk 1 Given-Wilson, Thomas, szerk 1 többet ... International Symposium on Model Checking Software26.(2019) (Beijing, China) 1 többet mutat ... kevesebbet ...

Software engineering 3 elektronikus könyv 3 konferencia konferenciakötet 3 szoftverfejlesztés 3 szoftverfejlesztés -- konferencia 3 többet ... tanulmányok 3 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 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 szoftvertesztelés 2 verifikáció 2 verifikáció -- szoftverfejlesztés -- konferencia 2 Algorithms 1 Computer logic 1 Computer simulation 1 Computer system failures 1 Mathematical logic 1 többet mutat ... kevesebbet ...