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 180 von 880 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1222869985
Titel Integrating formal specifications into applications: the ProB Java API / by Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Person(en) Körner, Philipp (Verfasser)
Bendisposto, Jens Marco (Verfasser)
Dunkelau, Jannik (Verfasser)
Krings, Sebastian (Verfasser)
Leuschel, Michael (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2020120513280927280876
DOI: 10.1007/s10703-020-00351-3
URL https://doi.org/10.1007/s10703-020-00351-3 (Open Access)
Zeitliche Einordnung Erscheinungsdatum: 2020
DDC-Notation 005.1 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Formal methods in system design (21.10.2020: 1-28)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 180 von 880
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration