- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
VI, 294 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
München, Techn. Univ., Diss., 1994
- Keyword
-
Programmtransformation
Codeoptimierung
Debugging
- Creator
-
Wismüller, Roland
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:01 PM CET
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
- Wismüller, Roland
Other Objects (12)
Quellsprachorientiertes Debugging von optimierten Programmen
Debugging und maschinelles Lernen von PROLOG-Programmen
Debugging und maschinelles Lernen von Prolog-Programmen
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
Automated model-based spreadsheet debugging
Formal methods for automated debugging
Integrating Symbolic Execution, Debugging and Verification
Debugging C
Automated Debugging Methodology for FPGA-based Systems
Run-time debugging for functional logic languages
Automated debugging methodology for FPGA-based systems
Interaktives Debugging algorithmischer Hardware-Verhaltensbeschreibungen mit Emulation
Quellsprachorientiertes Debugging von optimierten Programmen
Debugging und maschinelles Lernen von PROLOG-Programmen
Debugging und maschinelles Lernen von Prolog-Programmen
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
Automated model-based spreadsheet debugging
Formal methods for automated debugging
Integrating Symbolic Execution, Debugging and Verification
Debugging C
Automated Debugging Methodology for FPGA-based Systems
Run-time debugging for functional logic languages
Automated debugging methodology for FPGA-based systems
Interaktives Debugging algorithmischer Hardware-Verhaltensbeschreibungen mit Emulation
Quellsprachorientiertes Debugging von optimierten Programmen
Debugging und maschinelles Lernen von PROLOG-Programmen
Debugging und maschinelles Lernen von Prolog-Programmen
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
Automated model-based spreadsheet debugging
Formal methods for automated debugging
Integrating Symbolic Execution, Debugging and Verification
Debugging C
Automated Debugging Methodology for FPGA-based Systems
Run-time debugging for functional logic languages
Automated debugging methodology for FPGA-based systems