Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=956820611
Link zu diesem Datensatz | https://d-nb.info/956820611 |
Titel | Formal techniques for Java programs / Fernuniversität, Gesamthochschule in Hagen, Fachbereich Informatik. Bart Jacobs ... (ed.) |
Person(en) | Jacobs, Bart (Herausgeber) |
Organisation(en) | FernUniversität in Hagen. Fachbereich Informatik (Herausgebendes Organ) |
Verlag | Hagen : Fernuniv., Fachbereich Informatik |
Zeitliche Einordnung | Erscheinungsdatum: 1999 |
Umfang/Format | [76] S. : graph. Darst. ; 30 cm |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Formal Techniques for Java Programs |
ISBN/Einband/Preis | kart. |
Sprache(n) | Englisch (eng) |
Beziehungen | Informatik-Berichte ; 251 |
Anmerkungen | Literaturangaben |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Frankfurt |
Signatur: 1999 B 12329 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: 1999 B 12329 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |