- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kassel, Univ., Diss., 2012
- Classification
-
Informatik
- Keyword
-
HASKELL
Funktionale Programmierung
Parallelisierung
Parallelverarbeitung
Abstraktion
- Event
-
Veröffentlichung
- (where)
-
Kassel
- (who)
-
Universitätsbibliothek Kassel
- (when)
-
2012
- Creator
- URN
-
urn:nbn:de:hebis:34-2012073041554
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:22 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Lesniak, Michael
- Universitätsbibliothek Kassel
Time of origin
- 2012
Other Objects (12)
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
An Abstraction for Proof Planning: The S-Abstraction
Abstraction.
The Failure Detector Abstraction
Public abstraction
"abstraction", Aschenbecher
Abstraction and abstraction refinement in the verification of graph transformation systems
The hard matter of abstraction : a guidebook to domination by abstraction
Abstraction and abstraction refinement in the verification of graph transformation systems
On concurrent programming
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
An Abstraction for Proof Planning: The S-Abstraction
Abstraction.
The Failure Detector Abstraction
Public abstraction
"abstraction", Aschenbecher
Abstraction and abstraction refinement in the verification of graph transformation systems
The hard matter of abstraction : a guidebook to domination by abstraction
Abstraction and abstraction refinement in the verification of graph transformation systems
On concurrent programming
Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
An Abstraction for Proof Planning: The S-Abstraction
Abstraction.
The Failure Detector Abstraction
Public abstraction
"abstraction", Aschenbecher
Abstraction and abstraction refinement in the verification of graph transformation systems
The hard matter of abstraction : a guidebook to domination by abstraction
Abstraction and abstraction refinement in the verification of graph transformation systems
On concurrent programming