Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "Java"

Zurück zur Trefferliste


Treffer 5937 von 5953 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1216871108
Titel Verifying temporal specifications of Java programs / by Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin
Person(en) Spegni, Francesco (Verfasser)
Spalazzi, Luca (Verfasser)
Liva, Giovanni (Verfasser)
Pinzger, Martin (Verfasser)
Bollin, Andreas (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2020083121175702305103
DOI: 10.1007/s11219-019-09488-9
URL https://doi.org/10.1007/s11219-019-09488-9 (Open Access)
Zeitliche Einordnung Erscheinungsdatum: 2020
DDC-Notation 004.3 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Software quality journal (Bd. 28, 2.7.2020, Nr. 2, date:6.2020: 695-744)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 5937 von 5953
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration