Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Inte

Ø 0.0
0 Bewertungen
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: