Katalog der Deutschen Nationalbibliothek

Neuigkeiten Geänderte Servicezeiten an der Information in Frankfurt am Main: Montag bis Freitag von 9–18 Uhr , Samstag von 10–16 Uhr // Changes to service hours at the Information desk in Frankfurt am Main: Monday to Friday: 9:00–18:00, Saturday: 10:00–16:00
 
 

Ergebnis der Suche nach: bspRef=041477235



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz http://d-nb.info/gnd/4824068-0
Sachbegriff Java Card
Quelle Vorlage
Erläuterungen Definition: In Java programmierte Smart Card
Oberbegriffe Beispiel für: Chipkarte
Thematischer Bezug Elektronischer Zahlungsverkehr
Java <Programmiersprache>
DDC-Notation 332.178
332.76
006.246
Systematik 30m Informatikprodukte (Hardware- und Softwareprodukte) ; 10.9b Bank
Typ Softwareprodukt (siw)
Thema in 4 Publikationen
  1. Formale Verifikation der Korrektheit sicherheitskritischer Java-Anwendungen
    Grandy, Holger. - Berlin : Logos-Verl., 2008
  2. Symbolic execution as a framework for deductive verification of object-oriented programs
    Schlager, Steffen. - Göttingen : Sierke, 2007, 1. Aufl.
  3. ...
Maschinell verknüpft mit 4 Publikationen
  1. Smart- und Java Card. Einsatzmöglichkeiten und Benutzerakzeptanz
    Peterhans, Ronny. - München : GRIN Verlag, 2002, 1. Auflage, digitale Originalausgabe
  2. Smart- und Java Cards: Einsatzmöglichkeiten und Benutzerakzeptanz
    Peterhans, Ronny. - München : GRIN Verlag, 2002
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration