IK Kari Könyvtár 25 ELTE összesen 24 Egyetemi Könyvtár és Levéltár 1 EDIT 1

e-book 13

könyv 24 szakdolgozat 1

angol 23 magyar 2

SpringerLink (Online service), közreadó testület 13 European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic) 3 International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic) 3 International Conference on Tools and Algorithms for the Construction and Analysis of Systems23.(2017) (Uppsala, Sweden) 2 Legay, Axel, szerk 2 Margaria, Tiziana, szerk 2 többet ... Vojnar, Tomáš, szerk 2 Zhang, Lijun, szerk 2 Apt, Krzysztof R. (1949-) 1 Barringer, Howard (1951-) 1 Beyer, Dirk, szerk 1 Bowen, Jonathan P., szerk 1 Bradley, Aaron R. 1 Bultan, Tevfik 1 Bultan, Tevfik, Tft 1 Bárdos Attila 1 Dershowitz, Nachum 1 Donkó István 1 European Joint Conferences on Theory And Practice of Software11.(2008) (Budapest, Hungary) 1 Finkbeiner, Bernd, szerk 1 Hailpern, Brent Tzion 1 International Conference on Principles of Security and Trust6.(2017) (Uppsala, Sweden) 1 International Conference on Principles of Security and Trust8.(2019) (Prague, Czech Republic) 1 International Conference on Product-Focused Software Process Improvement21.(2020) (Turin, Italy) 1 International Conference on Verified Software: Theories, Tools, and Experiments9.(2017) (Heidelberg, Germany) 1 International School on Engineering Trustworthy Software Systems4.(2018) (Chongqing, China) 1 International Workshop on Runtime Verification19.(2019) (Porto) 1 International Workshop on Runtime Verification8.(2008) (Budapest) 1 Juan, Eric Y. T. 1 Leucker, Martin 1 többet mutat ... kevesebbet ...

szoftverfejlesztés 24 verifikáció 24 Software engineering 14 elektronikus könyv 13 verifikáció -- szoftverfejlesztés 13 konferenciakötet 12 többet ... tanulmányok 12 konferencia 11 verifikáció -- szoftverfejlesztés -- konferencia 11 szoftvertesztelés 9 Computer logic 6 programozási nyelvek 6 programozási nyelvek -- konferencia 6 Artificial intelligence 5 Computer science 5 Computer software 5 Mathematical logic 5 Software Engineering 5 Verification 5 matematikai logika 5 modell-ellenőrzés 5 számítógépes logika 5 Computer system failures 4 Computers 4 Logic design 4 Programming Languages, Compilers, Interpreters 4 matematikai logika -- konferencia 4 modell ellenőrzés 4 modell ellenőrzés -- szoftvertesztelés -- konferencia 4 modell-ellenőrzés -- szoftvertesztelés -- konferencia 4 többet mutat ... kevesebbet ...