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 6076 von 6443 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1206861916
Titel How effective are existing Java API specifications for finding bugs during runtime verification? / by Owolabi Legunsen, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Roşu, Darko Marinov
Person(en) Legunsen, Owolabi (Verfasser)
Al Awar, Nader (Verfasser)
Xu, Xinyue (Verfasser)
Hassan, Wajih Ul (Verfasser)
Roşu, Grigore (Verfasser)
Marinov, Darko (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2020032219154449121823
DOI: 10.1007/s10515-019-00267-1
URL https://doi.org/10.1007/s10515-019-00267-1
Zeitliche Einordnung Erscheinungsdatum: 2019
DDC-Notation 005.14 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Automated software engineering (Bd. 26, 21.11.2019, Nr. 4, date:12.2019: 795-837)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 6076 von 6443
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration