✦ LIBER ✦
[Lecture Notes in Computer Science] FME 2002:Formal Methods—Getting IT Right Volume 2391 || Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java
✍ Scribed by Eriksson, Lars-Henrik; Lindsay, Peter Alexander
- Book ID
- 121006294
- Publisher
- Springer Berlin Heidelberg
- Year
- 2002
- Weight
- 190 KB
- Category
- Article
- ISBN
- 3540456147
No coin nor oath required. For personal study only.