Program Logics for Certified Compilers
Appel, Andrew W.;
42 006 HUF
37 806 HUF
Attention! 0 copies of this item are already in your shopping basket. Would you like to increase the number of copies?
