Hochschulschrift | Online-Publikation
A framework for checking programmer defined constraints on the definition and use of program elements in Java
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Dateiformat: zip, Dateien im PDF-Format
Berlin, Freie Univ., Diss., 2000
- Keyword
-
Softwareentwicklung
Java
Constraint-Programmierung
Model Checking
Programmanalyse
- Creator
-
Bokowski, Boris
- URN
-
urn:nbn:de:kobv:188-2002000210
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 PM CET
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
- Online-Publikation
Associated
- Bokowski, Boris