- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
[2], 258 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Karlsruhe, Univ., Diss., 1991 (Nur beschränkt für den Austausch)
- Schlagwort
-
Modul
Korrektheit
Algebraische Spezifikation
Prädikatenlogik
- Urheber
- 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:50 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.
Beteiligte
Ähnliche Objekte (12)
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)
Design Time and Run Time Formal Safety Analysis using Executable Models
Safety Optimization: A combination of fault tree analysis and optimization techniques
Serviceorientierte Automatisierung von Roboterzellen: Modularität und Wiederverwendbarkeit von Software in der Robotik
Soft Constraints in MiniBrass: Foundations and Applications
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Ein modellgetriebener Ansatz zur Entwicklung informationsflusssicherer Systeme
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)
Design Time and Run Time Formal Safety Analysis using Executable Models
Safety Optimization: A combination of fault tree analysis and optimization techniques
Serviceorientierte Automatisierung von Roboterzellen: Modularität und Wiederverwendbarkeit von Software in der Robotik
Soft Constraints in MiniBrass: Foundations and Applications
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language
Ein modellgetriebener Ansatz zur Entwicklung informationsflusssicherer Systeme
Land im silbernen Licht : vom Mittelalter bis 1945
Zivilisationsflucht und literarische Wunschräume : der exotist. Roman im 1. Viertel d. 20. Jahrhunderts
Die Entdeckung und Kolonialisierung einer Landschaft : Literaturgeschichte der Halbinsel Fischland-Darß-Zingst
Ankernd am Rande der großen Flut : von 1946 bis 2010
An abstract PPL machine
Literat und Dichter : Hans Sochaczewer alias José Orabuena (1892-1978)
Design Time and Run Time Formal Safety Analysis using Executable Models
Safety Optimization: A combination of fault tree analysis and optimization techniques
Serviceorientierte Automatisierung von Roboterzellen: Modularität und Wiederverwendbarkeit von Software in der Robotik
Soft Constraints in MiniBrass: Foundations and Applications
Embedding Real-Time Critical Robotics Applications in an Object-Oriented Language