Frank S. de Boer

iš viso 1
Rodoma 1-11


Verification of Sequential and Concurrent Programs
Verification of Sequential and C... Krzysztof R. Apt,...
135,89 €