- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783860646250
3860646257
- Dimensions
-
21 cm
- Extent
-
V, 280 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: München, Techn. Univ., Diss., 1997
- Bibliographic citation
-
Schriftenreihe Forschungsergebnisse zur Informatik ; Bd. 32
- Keyword
-
HOLCF
Verfeinerung
Abstrakter Datentyp
Programmverifikation
- Event
-
Veröffentlichung
- (where)
-
Hamburg
- (who)
-
Kovač
- (when)
-
1997
- Creator
-
Slotosch, Oscar
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:22 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Slotosch, Oscar
- Kovač
Time of origin
- 1997
Other Objects (12)
Implementing cloud computing : implementation strategies and supporting measures for the implementation of cloud services
Aspects of term structure modelling : implementation and default risk
Four-phase-model for the implementation of shared services
Aspects of English law of contract : implementation of spousal arrangements in divorce proceedings
Leadership in marketing, sales and retailing : an implementation perspective
Extended libor market models : derivatives pricing, implementation, and calibration
Konstruktion, Implementation und Evaluation einer Lernumgebung zur Förderung von Teamkompetenz
Performance implications and implementation of brand personality : a dyadic perspective on managers' intentions and consumers' perceptions
A pedagogy for cross cultural transformation in Germany : the development, implementation and assessment of violence prevention training seminars
Interaktiver und kompetenzorientierter Unterricht : = Interactive and competence-orientated education
Förderung der Lesekompetenz : Implementation und Evaluation eines Unterrichtsprogramms in der Sekundarstufe I
Atlas of estuarine zooplankton of the southern and eastern Baltic Sea, Pt. 1.. Rotifera
Implementing cloud computing : implementation strategies and supporting measures for the implementation of cloud services
Aspects of term structure modelling : implementation and default risk
Four-phase-model for the implementation of shared services
Aspects of English law of contract : implementation of spousal arrangements in divorce proceedings
Leadership in marketing, sales and retailing : an implementation perspective
Extended libor market models : derivatives pricing, implementation, and calibration
Konstruktion, Implementation und Evaluation einer Lernumgebung zur Förderung von Teamkompetenz
Performance implications and implementation of brand personality : a dyadic perspective on managers' intentions and consumers' perceptions
A pedagogy for cross cultural transformation in Germany : the development, implementation and assessment of violence prevention training seminars
Interaktiver und kompetenzorientierter Unterricht : = Interactive and competence-orientated education
Förderung der Lesekompetenz : Implementation und Evaluation eines Unterrichtsprogramms in der Sekundarstufe I
Atlas of estuarine zooplankton of the southern and eastern Baltic Sea, Pt. 1.. Rotifera
Implementing cloud computing : implementation strategies and supporting measures for the implementation of cloud services
Aspects of term structure modelling : implementation and default risk
Four-phase-model for the implementation of shared services
Aspects of English law of contract : implementation of spousal arrangements in divorce proceedings
Leadership in marketing, sales and retailing : an implementation perspective
Extended libor market models : derivatives pricing, implementation, and calibration
Konstruktion, Implementation und Evaluation einer Lernumgebung zur Förderung von Teamkompetenz
Performance implications and implementation of brand personality : a dyadic perspective on managers' intentions and consumers' perceptions
A pedagogy for cross cultural transformation in Germany : the development, implementation and assessment of violence prevention training seminars
Interaktiver und kompetenzorientierter Unterricht : = Interactive and competence-orientated education
Förderung der Lesekompetenz : Implementation und Evaluation eines Unterrichtsprogramms in der Sekundarstufe I