𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[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


[Lecture Notes in Computer Science] Mode
✍ Czarnecki, Krzysztof; Ober, Ileana; Bruel, Jean-Michel; Uhl, Axel; VΓΆlter, Marku πŸ“‚ Article πŸ“… 2008 πŸ› Springer Berlin Heidelberg 🌐 English βš– 666 KB

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

[Lecture Notes in Computer Science] Prog
✍ De Nicola, Rocco πŸ“‚ Article πŸ“… 2007 πŸ› Springer Berlin Heidelberg 🌐 English βš– 264 KB

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

[Lecture Notes in Computer Science] Modu
✍ Weck, Wolfgang; Gutknecht, JΓΌrg πŸ“‚ Article πŸ“… 2000 πŸ› Springer Berlin Heidelberg 🌐 English βš– 86 KB

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