Hoppa till sidans huvudinnehåll

Viktor Kunčak – författare

Visar alla böcker från författaren .
3 produkter
Rupak Majumdar, Viktor Kunčak - Computer Aided Verification, Häftad
Del 10426 - Lecture Notes in Computer Science

Computer Aided Verification

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

AvRupak Majumdar,Viktor Kunčak

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Rupak Majumdar, Viktor Kunčak - Computer Aided Verification, Häftad
Del 10427 - Lecture Notes in Computer Science

Computer Aided Verification

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

AvRupak Majumdar,Viktor Kunčak

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Viktor Kuncak, Andrey Rybalchenko - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

AvViktor Kuncak,Andrey Rybalchenko

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar