1-1 1
1-1 1
Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs
: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli   
: 9781848827455   
: Springer Verlag London Limited   
: eBook   

DRM   
: PC/MAC/eReader/Tablet   
PDF   
CHF 63.40     Download