Foundations and Trends(r) in Programming Qed at Large: A Survey of Engineering of Formally Verified Software, Book 13, (Paperback)

Name: Foundations and Trends(r) in Programming Qed at Large: A Survey of Engineering of Formally Verified Software, Book 13, (Paperback)
Brand: Talia Ringer
SKU: prod_463356c6491e7efbaa6b1b59
Price: 165.00 USD
Availability: InStock

Foundations and Trends(r) in Programming Qed at Large: A Survey of Engineering of Formally Verified Software, Book 13, (Paperback) Author: Now Publishers ISBN: 9781680835946 Format: Paperback Publication Date: 2019-09-03 Page Count: 194

Shipping & Returns

Price unavailable

Foundations and Trends(r) in Programming Qed at Large: A Survey of Engineering of Formally Verified Software, Book 13, (Paperback)—

$165.00

Price unavailable

Foundations and Trends(r) in Programming Qed at Large: A Survey of Engineering of Formally Verified Software, Book 13, (Paperback)—

$165.00