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

 
Neuigkeiten 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.
 
 

Ergebnis der Suche nach: "Java"

Zurück zur Trefferliste


Treffer 647 von 3434 < < > <



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 647 von 3434
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration