Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, TX, USA, November 2000 Proceedings (Lecture Notes in . Notes in Computer Science, 1954, Band 1954)

Hunt Jr. Warren, A.:

ISBN 10: 3540432027 / ISBN 13: 9783540432029

Published by Springer, 2000

About this Item

564 Seiten; 9783540432029.4 Gewicht in Gramm: 1.

Seller Inventory # 771644

Bibliographic Details

• Title: Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, TX, USA, November 2000 Proceedings (Lecture Notes in . Notes in Computer Science, 1954, Band 1954)
• Publisher: Springer
• Publication Date: 2000
• ISBN 10: 3540432027
• ISBN 13: 9783540432029
• Binding: paperback
• Condition: Befriedigend
• Weight: 1 gram
• Seller catalogs:
  • Varia

About this title

Synopsis

Smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, ands as secure tokens for authentication or digital signatures. Their small size and the compatibility of their form with the magnetic stripe card make them ideal carriers of personal information such as secret keys, passwords, customization profiles, and medical emergency information. This book provides a guide for the rapid development of smart card applications using Java and the OpenCard Framework. It gives you the basic information you need about smart cards and how they work. A smart card provided with the book will help you to obtain first-hand experience.

From the Back Cover

In todays world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, ands as secure tokens for authentication or digital signature. Their small size and the compatibility of their form with the magnetic stripe card make them ideal carriers of personal information such as secret keys, passwords, customization profiles, and medical emergency information. This book provides a guide for the rapid development of smart card applications using Java and the OpenCard Framework. It gives you the basic information you need about smart cards and how they work. It shows in detail how to develop applications that use smart cards by guiding you through examples step by step. A smart card provided with the book will help you to quickly get some first hands-on experience.