Java on Smart Cards: Programming and Security
Subtitle: First International Workshop, JavaCard 2000 Cannes, France, September 14, 2000 Revised Papers (Lecture Notes in Computer Science)
Contributors: Isabelle Attali (Editor); Thomas Jensen (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 22, 2001
Language: eng
Format: Paperback
Number of pages: 163
ISBN-13: 9783540421672
Subjects: Java & variants; Operating Systems - General; Computers - Languages / Programming; Programming Languages - General; Computer Networks; Computer Programming Languages; Computers; Networking - General; Computer Books: Languages; Java (Computer program language); General; Programming Languages - Java; Computers / Networking / General; Computers / Programming Languages / Java; Computers : Networking - General; Medical : General; Smart cards; digital payment; electronic commerce; formal methods; Programming - Systems Analysis & Design; Java (Computer program languag
First sentence: The benefits of formal methods for software engineering have been described at length in many research papers.