Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

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

 
 

Ergebnis der Suche nach: "Java"

Zurück zur Trefferliste


Treffer 3344 von 3467 < < > <



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 3344 von 3467
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration