Viktor Kun¿ak - Böcker
Visar alla böcker från författaren Viktor Kun¿ak.
2 produkter
2 produkter
Del 10426 - Lecture Notes in Computer Science
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Häftad, Engelska, 2017
709 kr
Skickas inom 10-15 vardagar
Del 10427 - Lecture Notes in Computer Science
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Häftad, Engelska, 2017
709 kr
Skickas inom 10-15 vardagar