Knihy od autora

Zoradiť podľa:

Filter produktov

Computer Aided Verification

Anglický jazyk

Computer Aided Verification

Sriram K. Rajamani

98.99 € 109.99 € (ušetríte 10%)

Model Checking Software

Anglický jazyk

Model Checking Software

Sriram K. Rajamani

49.49 € 54.99 € (ušetríte 10%)

Nenašli ste u nás knihu?

Napíšte nám čo hľadáte

Vaša e-mailová adresa

Akcie pre Vás

Generuje redakčný systém BUXUS CMS spoločnosti ui42.