Translation of "Java Card" into Spanish

Questo era stato sviluppato in un analizzatore di limiti statico che usa il linguaggio Carmel, una rappresentazione intermedia del byte code della Java Card.

Éste se desarrolló dentro de un analizador basado en las limitaciones que emplea el lenguaje Carmel, una representación intermedia del código de bites Java Card.