Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aufgrund der Corona-Pandemie bleiben die Benutzungsbereiche der Deutschen Nationalbibliothek bis auf Weiteres, voraussichtlich bis Sonntag, 31. Januar 2021 geschlossen. Bestellungen von Medien werden in dieser Zeit nicht bearbeitet. Alle Informationen dazu finden Sie auf unserer Homepage.
 
Neuigkeiten Die mehr als 1,3 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
 

Ergebnis der Suche nach: betRef=12391356X



Treffer 1 von 4 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1148748601
Titel Formal Techniques for Java Programs / Herausgeber: Bart Jacobs, Gary Leavens, Peter Müller, Arnd Poetzsch-Heffter
Person(en) Jacobs, Bart (Herausgeber)
Leavens, Gary T. (Herausgeber)
Müller, Peter (Herausgeber)
Poetzsch-Heffter, Arnd (Herausgeber)
Organisation(en) FernUniversität in Hagen. Fachbereich Informatik (Herausgebendes Organ)
Verlag Hagen : FernUniversität in Hagen
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format Online-Ressource
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Formal techniques for Java programs
Persistent Identifier URN: urn:nbn:de:hbz:708-dh5825
URL https://ub-deposit.fernuni-hagen.de/receive/mir_mods_00001059 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen Informatik-Berichte ; 251

Online-Zugriff Archivobjekt öffnen

Exemplarbezogene Daten stehen derzeit nicht zur Verfügung. Die Online-Bestellung von Medien ist deshalb nicht möglich.





Treffer 1 von 4
< < > <


E-Mail-IconAdministration