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 498 von 1050 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1192658612
Titel Model-checking multi-threaded distributed Java programs / by Scott D. Stoller
Person(en) Stoller, Scott D. (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2019081201251951370963
DOI: 10.1007/s10009-002-0077-2
URL https://doi.org/10.1007/s10009-002-0077-2
Zeitliche Einordnung Erscheinungsdatum: 2002
DDC-Notation 005.14 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: International journal on software tools for technology transfer (Bd. 4, Nr. 1, date:10.2002: 71-91)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 498 von 1050
< < > <


E-Mail-IconAdministration