Hochschulschrift
Correctness, completeness, and consistency of equational data type specifications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
IX, 256 Bl.
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Techn. Univ., Diss., 1983 (Nur als Mikrofiche f.d. Austausch)
- Schlagwort
-
Software
Software
- Urheber
-
Padawitz, Peter
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:42 MEZ
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
- Padawitz, Peter
Ähnliche Objekte (12)
Correctness, completeness, and consistency of equational data type specifications
Improving the consistency and completeness of safety requirements specifications
Semantics of type theory : correctness, completeness and independence results
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Fixing capital gains: symmetry, consistency and correctness in the taxation of financial instruments
Correctness, completeness, and consistency of equational data type specifications
Improving the consistency and completeness of safety requirements specifications
Semantics of type theory : correctness, completeness and independence results
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Fixing capital gains: symmetry, consistency and correctness in the taxation of financial instruments
Correctness, completeness, and consistency of equational data type specifications
Improving the consistency and completeness of safety requirements specifications
Semantics of type theory : correctness, completeness and independence results
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness and completeness of a categorical semantics of the calculus of constructions
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Parametric algebraic specifications with Gentzen formulas : free functor semantics and correctness
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Program verifier Tatzelwurm : the correctness an completeness of the generation of the verification conditions
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version