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 274 von 1045 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1127096893
Titel Synthesis of verifiable concurrent Java components from formal models / by Julio Mariño, Raúl N. N. Alborodo, Lars-Åke Fredlund, Ángel Herranz
Person(en) Mariño, Julio (Verfasser)
Alborodo, Raúl N. N. (Sonstige)
Fredlund, Lars-Åke (Sonstige)
Herranz, Ángel (Sonstige)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:1111-201703074138
DOI: 10.1007/s10270-017-0581-1
URL http://dx.doi.org/10.1007/s10270-017-0581-1
Zeitliche Einordnung Erscheinungsdatum: 2017
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Software and systems modeling (13.2.2017: 1-35)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 274 von 1045
< < > <


E-Mail-IconAdministration