UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

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

Online Katalog der Universitätsbibliothek der LMU München (1/1)

Ablegen in:
 


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

Autor: Bauer, Sabine
Ort, Verlag, Jahr: München, , 2018
Umfang: xvi, 149 Seiten

  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellung/Vormerkung
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor:Bauer, Sabine
Titel:Decidability of linear tree constraints for resource analysis of object-oriented programs
Von:vorgelegt von Sabine Bauer
Ort:München
Jahr:2018
Umfang:xvi, 149 Seiten
Illustrationsangabe:Diagramme
Hochschulschrift :Dissertationen, Ludwig-Maximilians-Universität München, 2019
BV-Nummer:BV046168005