UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Back to results

Decidability of linear tree constraints for resource analysis of object-oriented programs

LMU University Library Online Catalogue (1/1)

Save in:
 


Decidability of linear tree constraints for resource analysis of object-oriented programs

Author: Bauer, Sabine
Place, Publisher, Year: München, , 2018
Physical Details: xvi, 149 Seiten

  • Holdings
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Get document
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • More title information
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Author:Bauer, Sabine
Main title:Decidability of linear tree constraints for resource analysis of object-oriented programs
Author statement:vorgelegt von Sabine Bauer
Place:München
Year:2018
Physical Details:xvi, 149 Seiten
Illustration:Diagramme
Thesis statement:Dissertationen, Ludwig-Maximilians-Universität München, 2019
BV-Nummer:BV046168005