Verification of Sequential and Concurrent Programs by Krzysztof R. Apt (English)
89,47 €
By Krzysztof R. Apt, Amir Pnueli, Ernst-Rüdiger Olderog, Frank S. de Boer. Computer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioning and safety of these systems is of paramount importance.
Jetzt bei Ebay:
