Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Java"
Treffer 556 von 852
|
|
| Link zu diesem Datensatz | https://d-nb.info/1080326847 |
| Titel | A Deductive Proof System for Multithreaded Java with Exceptions / Martin Steffen ; Erika Ábrahám ; Frank S. de Boer ; Willem-Paul de Roever |
| Person(en) |
Steffen, Martin (Mitwirkender) Ábrahám, Erika (Mitwirkender) Boer, Frank S. de (Mitwirkender) Roever, Willem-Paul de (Mitwirkender) |
| Verlag | Kiel : Universitätsbibliothek Kiel |
| Zeitliche Einordnung | Erscheinungsdatum: 2003 |
| Umfang/Format | Online-Ressource |
| Persistent Identifier | URN: urn:nbn:de:gbv:8:1-zs-00000170-a4 |
| URL | http://www.uni-kiel.de/journals/receive/jportal_jparticle_00000170 (Verlag) (kostenfrei zugänglich) |
| ISSN | ISSN der Vorlage: 2192-6247 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Technische Berichte des Instituts für Informatik der CAU Kiel ; 0313 |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 556 von 852
Administration
