Hochschulschrift
Concrete and abstract specification, modularization and program development by transformation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
178 S.
- Sprache
-
Deutsch
- Anmerkungen
-
München, Techn. Univ., Fachbereich Mathematik, Diss., 1978.
- Urheber
-
Brückner, Bernd
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:23 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
- Brückner, Bernd
Ähnliche Objekte (12)
An abstract specification language for static program analysis
Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language
Concrete and abstract Voronoi diagrams
Program and abstracts / ICPOC 88
Abstract and Concrete Scenarios in Concurrent Engineering
Automatic discrimination between abstract and concrete word classes
Timecourse and source localization of abstract and concrete semantic representations
Modular Specification and Compositional Soundness of Abstract Interpreters
International Lateinamerika-Kolloquium 2009 : abstracts and program
Program-level Specification and Deductive Verification of Security Properties
Symposium on Turtle Evolution 2012. Program and Abstracts
Abstract specification of object interaction
An abstract specification language for static program analysis
Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language
Concrete and abstract Voronoi diagrams
Program and abstracts / ICPOC 88
Abstract and Concrete Scenarios in Concurrent Engineering
Automatic discrimination between abstract and concrete word classes
Timecourse and source localization of abstract and concrete semantic representations
Modular Specification and Compositional Soundness of Abstract Interpreters
International Lateinamerika-Kolloquium 2009 : abstracts and program
Program-level Specification and Deductive Verification of Security Properties
Symposium on Turtle Evolution 2012. Program and Abstracts
Abstract specification of object interaction
An abstract specification language for static program analysis
Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language
Concrete and abstract Voronoi diagrams
Program and abstracts / ICPOC 88
Abstract and Concrete Scenarios in Concurrent Engineering
Automatic discrimination between abstract and concrete word classes
Timecourse and source localization of abstract and concrete semantic representations
Modular Specification and Compositional Soundness of Abstract Interpreters
International Lateinamerika-Kolloquium 2009 : abstracts and program
Program-level Specification and Deductive Verification of Security Properties
Symposium on Turtle Evolution 2012. Program and Abstracts