Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Mentés helye:
Bibliográfiai részletek
Testületi szerző(k):
Közreműködő(k):
Különgyűjtemény:e-book
Formátum: könyv
Nyelv:angol
Megjelenés: Berlin ; Heidelberg : Springer, 2017
Sorozat:Theoretical Computer Science and General Issues ; 10206
Tárgyszavak:
Online elérés:https://doi.org/10.1007/978-3-662-54580-5
Címkék: Új címke
A tételhez itt fűzhet saját címkét!

Online elérés

https://doi.org/10.1007/978-3-662-54580-5

IK Kari Könyvtár

Holdings details from IK Kari Könyvtár
Jelzet: Leltári szám: Gyűjtemény: Státusz:
14224 14224 Nem kölcsönözhető