Hardcover Book Paperback Book
显示无货商品

Krzysztof R. Apt的作品

Cover for Krzysztof R. Apt · Edsger Wybe Dijkstra: His Life, Work, and Legacy (Hardcover Book) (2022)

Edsger Wybe Dijkstra: His Life, ... (2022)

Krzysztof R. Apt

Cover for Krzysztof R. Apt · Verification of Sequential and Concurrent Programs - Texts in Computer Science (Paperback Book) [Softcover reprint of hardcover 3rd ed. 2009 edition] (2012)

Softcover reprint of hardcover 3rd ed. 2009 edition

Verification of Sequential and C... (2012)

Krzysztof R. Apt

Cover for Krzysztof R. Apt · Verification of Sequential and Concurrent Programs - Texts in Computer Science (Hardcover Book) [3rd ed. 2009, Corr. 3rd printing 2010 edition] (2009)

3rd ed. 2009, Corr. 3rd printing 2010 edition

Verification of Sequential and C... (2009)

Krzysztof R. Apt