Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: "Java"

Zurück zur Trefferliste


Treffer 2545 von 3358 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1054952639
Titel Generating implementations from formal specifications : a translator from Promela to Java / Matthias Papesch
Person(en) Papesch, Matthias (Verfasser)
Verlag Stuttgart : Universitätsbibliothek der Universität Stuttgart
Zeitliche Einordnung Erscheinungsdatum: 2002
Umfang/Format Online-Ressource
Persistent Identifier URN: urn:nbn:de:bsz:93-opus-10560
URL http://elib.uni-stuttgart.de/opus/volltexte/2002/1056/ (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Java <Programmiersprache> ; Simulator
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 2545 von 3358
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration