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.
 
Neuigkeiten Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.
 
 

Ergebnis der Suche nach: "Java"

Zurück zur Trefferliste


Treffer 716 von 880 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1299176569
Titel Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY / by Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
Person(en) Abbasi, Rosa (Verfasser)
Schiffl, Jonas (Verfasser)
Darulova, Eva (Verfasser)
Ulbrich, Mattias (Verfasser)
Ahrendt, Wolfgang (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2023081311053983713343
DOI: 10.1007/s10009-022-00691-x
URL https://doi.org/10.1007/s10009-022-00691-x
Zeitliche Einordnung Erscheinungsdatum: 2023
DDC-Notation 005.13 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: International journal on software tools for technology transfer (Bd. 25, 8.3.2023, Nr. 2, date:4.2023: 185-204)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 716 von 880
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration