Ihre Suche nach „Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli“ ergab 1 Treffer:
Filter
–
Download
PDF
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Amir Pnueli
71,39 €*