Program Logics for Certified Compilers
Compare webshops (1)
Shop
Price
Pages: 472, Hardcover, Cambridge University Press