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

Efficient software model checking with block-abstraction memoization

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

Ablegen in:
 




Efficient software model checking with block-abstraction memoization

Autor: Friedberger, Karlheinz
Ort, Verlag, Jahr: München, , 2021
Umfang: 144 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:Friedberger, Karlheinz
Titel:Efficient software model checking with block-abstraction memoization
Von:Karlheinz Friedberger
Ort:München
Jahr:2021
Umfang:144 Seiten
Illustrationsangabe:Illustrationen, Diagramme
Hochschulschrift :Dissertation, München, Ludwig-Maximilians-Universität, 2021
BV-Nummer:BV048310503
Andere Ausgabe:Erscheint auch als
Andere Ausgabe:Online-Ausgabe