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

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift
  • Online-Publikation

Associated

  • Bokowski, Boris

Other Objects (12)