Hoppa till sidans huvudinnehåll

Viktor Kun¿ak - Böcker

Visar alla böcker från författaren Viktor Kun¿ak.
2 produkter

Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Av Rupak Majumdar, Viktor Kunčak m. fl

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Av Rupak Majumdar, Viktor Kunčak m. fl

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar