Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Inte
67,31 €
The Spec# Programming System: An Overview. - Mastering Test Generation from Smart Card Software Formal Models. - ESC/Java2: Uniting ESC/Java and JML. - A Type System for Checking Applet Isolation in Java Card.
Jetzt bei Ebay: