๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Specifying Java Card API in OCL

โœ Scribed by Daniel Larsson; Wojciech Mostowski


Book ID
108126297
Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
296 KB
Volume
102
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Formally specifying CARA in Java
โœ Eugene W. Stark ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Springer ๐ŸŒ English โš– 489 KB
Grundkurs JAVA || Einfรผhrung in das Java
โœ Abts, Dietmar ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Springer Fachmedien Wiesbaden ๐ŸŒ German โš– 539 KB

Der erfolgreiche "Grundkurs Java" in der 7. Auflage. Das Buch fรผhrt Sie schrittweise durch die wichtigsten Aspekte von Java, von den elementaren Grundlagen รผber objektorientierte Konzepte, Dateiverarbeitung, grafische Benutzungsoberflรคchen bis zu Datenbankzugriffen und Kommunikation im Netzwerk. Zah

A Java Card CAP converter in PVS
โœ Thomas Genet; Thomas Jensen; Vikash Kodati; David Pichardie ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 177 KB