IK Kari Könyvtár 37 ELTE összesen 32 EDIT 10 TTK Kari Könyvtár 4 Egyetemi Könyvtár és Levéltár 2

e-book 13

könyv 32 szakdolgozat 10

angol 32 magyar 10

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 ... Peled, Doron 2 Vojnar, Tomáš, szerk 2 Zhang, Lijun, szerk 2 Alur, Rajeev (1966-) 1 Anderson, Robert Milford (1943-) 1 Apt, Krzysztof R. (1949-) 1 Barringer, Howard (1951-) 1 Berry, Gérard 1 Bertot, Yves 1 Beyer, Dirk, szerk 1 Bochmann, Gregor von 1 Bowen, Jonathan P., szerk 1 Bradfield, Julian Charles 1 Bradley, Aaron R. 1 Brunner, Márton 1 Bultan, Tevfik 1 Bultan, Tevfik, Tft 1 Bárdos Attila 1 CAV (1999) 1 CAV (2000) 1 CAV (2001) 1 Castéran, Pierre 1 Comon, Hubert 1 Dershowitz, Nachum 1 többet mutat ... kevesebbet ...

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