Confronta i webshop (2)
Shop
Prezzo
MATHEMATICAL FOUNDATIONS OF COMPUTER VERIFICATION: Logic Set Theory Formal Languages Proof Techniques and Computational Reasoning