• Shop by category
  • Powered by eBay
  • Verification of Sequential and Concurrent Programs by Krzysztof R. Apt (English)

    • Item No : 146433937092
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $95.75
    • * Item Description

    • By Krzysztof R. Apt, Amir Pnueli, Ernst-Rüdiger Olderog, Frank S. de Boer. Krzysztof R. Apt received his PhD in 1974 in mathematical logic from the University of Warsaw in Poland. He is a senior researcher at CWI, Amsterdam and Professor of Computer Science at the University of Amsterdam.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category