Verification of Object-Oriented Software. The KeY ApproachBokus 9783540689775 1 718 799 564 800.00 kr Visa erbjudande Mer från märket Mer i kategorinÖvrigtMer från butikenBokus
Operational Semantics and Verification of Security Protocols Bokus 1 718 799 564 800.00 kr Info Erbjudande
