Java on Smart Cards: Programming and Security: First International Workshop, Jav
66,97 €
The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book together with one invited paper. Invited Talk. - Contributed Papers. - A Dynamic Logic for the Formal Verification ofJava Card Programs.
Jetzt bei Ebay:
