Viimati ilmunud raamatud https://www.kriso.ee Sun, 12 Jan 2020 00:00:00 GMT Sun, 12 Jan 2020 00:00:00 GMT Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 1719, 2021, Proceedings 1st ed. 2021 https://www.kriso.ee/verification-model-checking-abstract-interpretation-22nd-db-9783030670665.html <a href="https://www.kriso.ee/verification-model-checking-abstract-interpretation-22nd-db-9783030670665.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030670665.jpg" align="left" hspace="5" > </a>Fritz Henglein, Sharon Shoham, Yakir Vizel<br>ISBN: 9783030670665<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 12-Jan-2020<br> Hind: 85,76 € https://www.kriso.ee/db/9783030670665.html Sun, 12 Jan 2020 00:00:00 GMT