- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783897224285
3897224283
- Dimensions
-
21 cm
- Extent
-
VI, 235 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Ulm, Univ., Diss., 2000
- Keyword
-
Softwareentwicklung
Formale Spezifikationstechnik
Verfeinerung
Programmtransformation
Compiler
Korrektheit
- 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:07 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
- Dold, Axel
- Logos-Verl.
Time of origin
- 2000
Other Objects (12)
A generic system architecture for strategy based software development
Foundations of algebraic specification and formal software development
A formal notion of strategy for software development
Realisierungsstufen Wohnungsbau. [realize steps residential development]
Reflective steps : a collaborative learning oriented approach to software development and process improvement
Construction and deduction methods for the formal development of software
A formal approach to high quality software design and development.
A transformational approach to generic software development based on higher-order, typed functional signatures
Professional Software Development
Rapid software development
Three Steps Towards More Effective Development Assistance
Agile software development : best practices for large software development projects
A generic system architecture for strategy based software development
Foundations of algebraic specification and formal software development
A formal notion of strategy for software development
Realisierungsstufen Wohnungsbau. [realize steps residential development]
Reflective steps : a collaborative learning oriented approach to software development and process improvement
Construction and deduction methods for the formal development of software
A formal approach to high quality software design and development.
A transformational approach to generic software development based on higher-order, typed functional signatures
Professional Software Development
Rapid software development
Three Steps Towards More Effective Development Assistance
Agile software development : best practices for large software development projects
A generic system architecture for strategy based software development
Foundations of algebraic specification and formal software development
A formal notion of strategy for software development
Realisierungsstufen Wohnungsbau. [realize steps residential development]
Reflective steps : a collaborative learning oriented approach to software development and process improvement
Construction and deduction methods for the formal development of software
A formal approach to high quality software design and development.
A transformational approach to generic software development based on higher-order, typed functional signatures
Professional Software Development
Rapid software development
Three Steps Towards More Effective Development Assistance