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 5829 von 5954 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1117411575
Titel Provably correct control flow graphs from Java bytecode programs with exceptions / by Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
Person(en) Amighi, Afshin (Verfasser)
Gomes, Pedro de Carvalho (Sonstige)
Gurov, Dilian (Sonstige)
Huisman, Marieke (Sonstige)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:1111-201610305057
DOI: 10.1007/s10009-015-0375-0
URL http://dx.doi.org/10.1007/s10009-015-0375-0
Zeitliche Einordnung Erscheinungsdatum: 2015
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: International journal on software tools for technology transfer (Bd. 18, 5.4.2015, Nr. 6, date:11.2016: 653-684)

Online-Zugriff Archivobjekt öffnen




Treffer 5829 von 5954
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration