Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Java"
Treffer 100 von 404
|
|
| 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 100 von 404
Administration
