Viktor Kuncak - Böcker

Visar alla böcker från författaren Viktor Kuncak.
3 produkter
Rupak Majumdar, Viktor Kuncak, Viktor Kunčak - Computer Aided Verification, Häftad

Computer Aided Verification

Av Rupak Majumdar, Viktor Kuncak, Viktor Kunčak

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Rupak Majumdar, Viktor Kuncak, Viktor Kunčak - Computer Aided Verification, Häftad

Computer Aided Verification

Av Rupak Majumdar, Viktor Kuncak, Viktor Kunčak

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Viktor Kuncak, Andrey Rybalchenko - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Viktor Kuncak, Andrey Rybalchenko

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar