Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Java"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1295157691 |
Titel | Java-MaC: A Run-Time Assurance Approach for Java Programs / by MoonZoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky |
Person(en) |
Kim, MoonZoo (Verfasser) Viswanathan, Mahesh (Verfasser) Kannan, Sampath (Verfasser) Lee, Insup (Verfasser) Sokolsky, Oleg (Verfasser) |
Organisation(en) | SpringerLink (Online service) (Sonstige) |
Umfang/Format | Online-Ressource : online resource. |
Persistent Identifier |
URN: urn:nbn:de:101:1-2023070621101358958756 DOI: 10.1023/B:FORM.0000017719.43755.7c |
URL | https://doi.org/10.1023/B:FORM.0000017719.43755.7c |
Zeitliche Einordnung | Erscheinungsdatum: 2004 |
DDC-Notation | 005.13 (maschinell ermittelte DDC-Kurznotation) |
Sprache(n) | Englisch (eng) |
Beziehungen | Enthalten in: Formal methods in system design (Bd. 24, Nr. 2, date:3.2004: 129-155) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
