Hochschulschrift
A mechanized logical model of Z and object oriented specification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826576508
3826576500
- Maße
-
21 cm
- Umfang
-
VI, 383 S.
- Sprache
-
Englisch
- Anmerkungen
-
Zugl.: Berlin, Techn. Univ., Diss., 1999
- Schlagwort
-
HOL-Z
HOL
Formale Spezifikationstechnik
Objektorientierung
Komponente
Softwarewiederverwendung
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Shaker
- (wann)
-
2000
- Urheber
-
Santen, Thomas
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:54 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Santen, Thomas
- Shaker
Entstanden
- 2000
Ähnliche Objekte (12)
Object oriented specification of distributed systems
Logical Foundations of Object-Oriented and Frame-Based Languages
Modular specification and verification of object oriented programs
Algebraic specification techniques in object oriented programming environments
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Modular specification and verification of object oriented programs
Object oriented hardware specification and design with a language extension to VHDL
Object-oriented hardware specification and design with a language extension to VHDL
Object Oriented Computing
Object oriented metamethods
POOL: probabilistic object oriented logical representation and retrieval of complex objects : a model for hypermedia retrieval
Object oriented specification of distributed systems
Logical Foundations of Object-Oriented and Frame-Based Languages
Modular specification and verification of object oriented programs
Algebraic specification techniques in object oriented programming environments
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Modular specification and verification of object oriented programs
Object oriented hardware specification and design with a language extension to VHDL
Object-oriented hardware specification and design with a language extension to VHDL
Object Oriented Computing
Object oriented metamethods
POOL: probabilistic object oriented logical representation and retrieval of complex objects : a model for hypermedia retrieval
Object oriented specification of distributed systems
Logical Foundations of Object-Oriented and Frame-Based Languages
Modular specification and verification of object oriented programs
Algebraic specification techniques in object oriented programming environments
Modular specification and verification of object oriented programs
Specification and verification of object oriented software components
Modular specification and verification of object oriented programs
Object oriented hardware specification and design with a language extension to VHDL
Object-oriented hardware specification and design with a language extension to VHDL
Object Oriented Computing
Object oriented metamethods