[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2028 || A Formal Executable Semantics of the JavaCard Platform
β Scribed by Sands, David
- Book ID
- 121080146
- Publisher
- Springer Berlin Heidelberg
- Year
- 2001
- Weight
- 177 KB
- Category
- Article
- ISBN
- 3540453091
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
This book constitutes the refereed proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, held in Toulouse, France, during September 28-October 3, 2008. The 58 revised full papers presented were carefully reviewed and selected from 271 submis
This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis
Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH Zuric Β¨ h as a successor of Pascal. For more than a decade, the conference has wandered through Europ