Ernst-Rüdiger Olderog

iš viso 2
Rodoma 1-22


Verification of Sequential and Concurrent Programs
Verification of Sequential and C... Krzysztof R. Apt,...
135,89 €
Real-Time Systems
Real-Time Systems Ernst-Rüdiger Olderog
141,89 €