Krzysztof R. Apt

iš viso 2
Rodoma 1-22


Verification of Sequential and Concurrent Programs
Verification of Sequential and C... Krzysztof R. Apt,...
135,89 €
Constraint Logic Programming using Eclipse
Constraint Logic Programming usi... Krzysztof R. Apt
131,29 €