Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: "Java"

Zurück zur Trefferliste


Treffer 542 von 864 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/107783697X
Titel Verification of JavaCard programs / Kurt Stenzel
Person(en) Stenzel, Kurt (Verfasser)
Verlag Augsburg : Universität Augsburg
Zeitliche Einordnung Erscheinungsdatum: 2005
Umfang/Format Online-Ressource
Persistent Identifier URN: urn:nbn:de:bvb:384-opus4-323
URL http://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/45 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2001-05
Schlagwörter Programmverifikation ; Java <Programmiersprache>
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 542 von 864
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration