✦ 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
DOI: 10.1016/j.entcs.2003.09.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Developing JAVA Card Application with RM

Developing JAVA Card Application with RMI API

✍ Xu JunWu; Liang JunLing 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 182 KB

Formally specifying CARA in Java

✍ Eugene W. Stark 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 489 KB

Grundkurs JAVA || Einführung in das Java

Grundkurs JAVA || Einführung in das Java Persistence API

✍ 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

Programming with partially specified agg

Programming with partially specified aggregates in Java

✍ F. Bergenti; L. Chiarabini; G. Rossi 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 237 KB

A Java Card CAP converter in PVS

✍ Thomas Genet; Thomas Jensen; Vikash Kodati; David Pichardie 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 177 KB

Formal specification of MPI 2.0: Case st

Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API

✍ Guodong Li; Robert Palmer; Michael DeLisi; Ganesh Gopalakrishnan; Robert M. Kirb 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 773 KB