Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: "Java"



Treffer 3098 von 3339 < < > <



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 3098 von 3339
< < > <


E-Mail-IconAdministration