- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826508097
3826508092
- Maße
-
21 cm
- Umfang
-
X, 234 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
Zugl.: München, Univ., Diss., 1994
- Schlagwort
-
Algebraische Spezifikation
ASL
HOL
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Shaker
- (wann)
-
1995
- Urheber
-
Cengarle, María Victoria
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 2025-06-11T13:39:54+0200
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
- Cengarle, María Victoria
- Shaker
Entstanden
- 1995
Ähnliche Objekte (12)
Code generation from specifications in higher-order logic
Ordered and continuous models of higher-order specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Animating and model checking B specifications with higher order recursive functions
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Parameterization without parameters in: The history of a hierarchy of specifications
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Translating formal specifications into behavioural hardware descriptions
Formal approach and applications of algebraic higher-order nets
Code generation from specifications in higher-order logic
Ordered and continuous models of higher-order specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Animating and model checking B specifications with higher order recursive functions
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Parameterization without parameters in: The history of a hierarchy of specifications
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Translating formal specifications into behavioural hardware descriptions
Formal approach and applications of algebraic higher-order nets
Code generation from specifications in higher-order logic
Ordered and continuous models of higher-order specifications
Proofs, programs and executable specifications in higher order logic
Proofs, programs and executable specifications in higher order logic
Animating and model checking B specifications with higher order recursive functions
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Parameterization without parameters in: The history of a hierarchy of specifications
Mechanizing the transformation of higher order algebraic specifications for the development of software systems
Translating formal specifications into behavioural hardware descriptions