Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli(1)
2009(1)
Programmiersprachen(1)
eBook(1)
English(1)
Springer Verlag London Limited(1)
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