Monografie
A framework for formal representation and transformational optimisation of executable specifications
- Sprache
-
Englisch
- Umfang
-
215 S.
- Anmerkungen
-
Zugl.: Bremen, Univ., Diss., 2005
- ISBN
-
978-3-8325-1562-1
- Identifier
-
990567265
- Reihe
-
BISS monographs; 21
Thema
HOL ; Isabelle ; Formale Semantik ; Codegenerierung ; Spezifikationstechnik ; Framework ; Hochschulschrift
Beteiligte Personen und Organisationen
Meyer, Thomas
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:30 MESZ
Objekttyp
- Monografie
Beteiligte
- Meyer, Thomas
Ähnliche Objekte (12)
Verjährung und Verursacherprinzip : die Anwendung kurzer Verjährungsfristen bei umweltbezogenen Vertrags- und Rechtsverletzungen
Hochschule - Studium - Studienabbruch : Synthesebericht zum Forschungsprojekt "Studienabbruch an schweizerischen Hochschulen als Spiegel von Funktionslogiken" ; nationales Forschungsprogramm 33, Wirksamkeit unserer Bildungssysteme
Interkulturelle Kooperationskompetenz : eine Fallstudienanalyse interkultureller Interaktionsbeziehungen in internationalen Unternehmenskooperationen
Aushärtung nanopartikelmodifizierter Reaktionsklebstoffe mittels Mikrowellenerwärmung
Das Grauen im konstruierten Erzähltext : zu E. T. A. Hoffmanns „Nachtstücken“
Untersuchungen zur Hemmung nativer und heterolog exprimierter K+-Kanäle durch G-Protein gekoppelte Rezeptoren
Der 11. September, das Böse und die Wahrheit : Fakten, Fragen, Perspektiven
Zum Einfluss der Preisgestaltung leitungsgebundener Energieträger auf die rationelle Energieverwendung : Forschungsvorhaben 52.18.03-67/85 ; ISI-Projekt-Nr. 10 420 5 ; Endbericht für den Minister für Wirtschaft, Mittelstand und Technologie des Landes Nordrhein-Westfalen
Economic development and endogenous quality of institutions
Kochbuch der Düsseldorfer Spezialitäten : Rezepte mit Altbier und mehr ...
Kochbuch der Spezialitäten aus Köln : die besten Kölner Küchen-Rezepte ; Kochen mit Kölsch und mehr
Party competition over time : how voters and intra-party structure constrain party policy shifts
Verjährung und Verursacherprinzip : die Anwendung kurzer Verjährungsfristen bei umweltbezogenen Vertrags- und Rechtsverletzungen
Hochschule - Studium - Studienabbruch : Synthesebericht zum Forschungsprojekt "Studienabbruch an schweizerischen Hochschulen als Spiegel von Funktionslogiken" ; nationales Forschungsprogramm 33, Wirksamkeit unserer Bildungssysteme
Interkulturelle Kooperationskompetenz : eine Fallstudienanalyse interkultureller Interaktionsbeziehungen in internationalen Unternehmenskooperationen
Aushärtung nanopartikelmodifizierter Reaktionsklebstoffe mittels Mikrowellenerwärmung
Das Grauen im konstruierten Erzähltext : zu E. T. A. Hoffmanns „Nachtstücken“
Untersuchungen zur Hemmung nativer und heterolog exprimierter K+-Kanäle durch G-Protein gekoppelte Rezeptoren
Der 11. September, das Böse und die Wahrheit : Fakten, Fragen, Perspektiven
Zum Einfluss der Preisgestaltung leitungsgebundener Energieträger auf die rationelle Energieverwendung : Forschungsvorhaben 52.18.03-67/85 ; ISI-Projekt-Nr. 10 420 5 ; Endbericht für den Minister für Wirtschaft, Mittelstand und Technologie des Landes Nordrhein-Westfalen
Economic development and endogenous quality of institutions
Kochbuch der Düsseldorfer Spezialitäten : Rezepte mit Altbier und mehr ...
Kochbuch der Spezialitäten aus Köln : die besten Kölner Küchen-Rezepte ; Kochen mit Kölsch und mehr
Party competition over time : how voters and intra-party structure constrain party policy shifts
Verjährung und Verursacherprinzip : die Anwendung kurzer Verjährungsfristen bei umweltbezogenen Vertrags- und Rechtsverletzungen
Hochschule - Studium - Studienabbruch : Synthesebericht zum Forschungsprojekt "Studienabbruch an schweizerischen Hochschulen als Spiegel von Funktionslogiken" ; nationales Forschungsprogramm 33, Wirksamkeit unserer Bildungssysteme
Interkulturelle Kooperationskompetenz : eine Fallstudienanalyse interkultureller Interaktionsbeziehungen in internationalen Unternehmenskooperationen
Aushärtung nanopartikelmodifizierter Reaktionsklebstoffe mittels Mikrowellenerwärmung
Das Grauen im konstruierten Erzähltext : zu E. T. A. Hoffmanns „Nachtstücken“
Untersuchungen zur Hemmung nativer und heterolog exprimierter K+-Kanäle durch G-Protein gekoppelte Rezeptoren
Der 11. September, das Böse und die Wahrheit : Fakten, Fragen, Perspektiven
Zum Einfluss der Preisgestaltung leitungsgebundener Energieträger auf die rationelle Energieverwendung : Forschungsvorhaben 52.18.03-67/85 ; ISI-Projekt-Nr. 10 420 5 ; Endbericht für den Minister für Wirtschaft, Mittelstand und Technologie des Landes Nordrhein-Westfalen
Economic development and endogenous quality of institutions
Kochbuch der Düsseldorfer Spezialitäten : Rezepte mit Altbier und mehr ...
Kochbuch der Spezialitäten aus Köln : die besten Kölner Küchen-Rezepte ; Kochen mit Kölsch und mehr