Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Causality-based verification
  • Bestand

Treffer: Causality-based verification

Titel:
Causality-based verification / Andrey Kupriyanov ; Betreuer: Bernd Finkbeiner
Beteiligt:
Kupriyanov, Andrey (Verfasser); Finkbeiner, Bernd (Akademischer Betreuer) 
Veröffent­licht:
Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2016
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Saarbrücken, Universität des Saarlandes, 2016
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen